1. A reflexive, symmetrical, and transitive relationship between elements of a set that establishes any two elements in the set as equivalent or nonequivalent.