Equivalence class
Set
| context | $X$ |
| context | $x\in X$ |
| context | $\sim\in\text{Equiv}(X) $ |
| definiendum | $ y\in [x]_\sim $ |
| postulate | $y\sim x$ |
Ramifications
Discussion
For some combinatorics on the number of possible equivalence classes, see Bell number (Wikipedia).
Reference
Wikipedia: Equivalence class
Parents
Context
