Equivalence class
Set
| context | X |
| context | x∈X |
| context | ∼∈Equiv(X) |
| definiendum | y∈[x]∼ |
| postulate | y∼x |
Ramifications
Discussion
For some combinatorics on the number of possible equivalence classes, see Bell number (Wikipedia).
Reference
Wikipedia: Equivalence class
Parents
Context
