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