Definition:

equivalence