relation (232B)
1 # Relation 2 3 - [equivalence_relation] 4 - [preorder] 5 - [word_relation] 6 - [binary_relation] 7 - [unary_relation] 8 9 Axioms: 10 - [transitive_relation] 11 - [reflexive_relation] 12 - [symmetric_relation] 13 - [antisymmetric_relation] 14 15 Up: [mathematics]