Testing equivalence reflexive and symmetric properties
http://hotmath.com/hotmath_help/topics/properties-of-equality.html