Mathematics
Equivalence relation
Equivalence class
Binary relation
Transitive relation
Mathematical logic
Integer
Cardinality
Ternary equivalence relation
Apartness relation