Equivalence and Properties