An equivalence class is a subSET whose elements are related to each other by an equivalence relation. The equivalence classes of a SET under some relation form a partition of that SET (i.e. any two are either equal or disjoint and every element of the SET is in some class). (1996-05-13)