Equivalence relation (idea)

A relation R on a nonempty set S such that R is reflexive, symmetric, and transitive. That is, for all x, y, and z in S:

• x R x;
• if x R y, then y R x; and
• if x R y and y R z, then x R z.