Equivalence Relation

Let $X$ be a set. $\sim :X\to X\to \mathrm{Prop}$ is an equivalence relation iff

• $\sim$ is reflexive
• $\sim$ is symmetric
• $\sim$ is transitive

Notes

Any homogeneous binary relation can be expanded to an equivalence relation.