Relations
- Antiset
- Antisymmetric Relation
- Binary Relation
- Canonical Map
- Chu Space
- Closure
- Concurrent Relation
- Equivalence Class
- Equivalence Relation
- Irreflexive
- Reflexive
- Reflexive Closure
- Reflexive Reduction
- Reflexivity
- Relation
- Symmetric Relation
- Transitive
- Transitive Closure
- Transitive Reduction
- Translation Relation