Equivalence Properties of Equality
The reflexive, symmetric, and transitive properties that are satisfied by the = symbol.
See also
Trichotomy, transitive property of inequalities