Equivalence and its use