An equivalence relation ~ on A partitions into pairwise disjoint subsets called equivalence classes so that 1. Within each class, every pair relates 2. Between classes there is no relation i.e. [x] = {a (element) A | a~x} and given two equivalence classes [a] and [b], either [a] = [b] or [a] intersect [b] = the empty set