MathGloss

An equivalence relation $\sim$ on a set $X$ is a binary relation that is reflexive, symmetric, and transitive. That is, for all $a,b,c \in X$,

1. $a\sim a$.
2. $a \sim b$ if and only if $b \sim a$.
3. If $a \sim b$ and $b \sim c$, then $a\sim c$.

Wikidata ID: Q130998

This site is open source. Improve this page.