• $x = x$ \zline{reflexivity}
• $x = y => y = x$ \zline{symmetry}
• $x = y /\ y = z => x = z$ \zline{transitivity}
• $x = y => f(...,x,...) = f(...,y,...)$

Equivalence classes -- representatives

• abstract elements -- $GU_T /= $