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

Equivalence relation