Concepts inDetecting equality of variables in programs
Loosely, equality is the state of being quantitatively the same. More formally, equality (or the identity relation) is the binary relation on a set X defined by . The identity relation is the archetype of the more general concept of an equivalence relation on a set: those binary relations which are reflexive, symmetric, and transitive. The relation of equality is also antisymmetric.
more from Wikipedia