wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

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]