Relation TRICHOTOMIZES

• Defined in theory: Abstract-algebra
• Source code: abstract-algebra.lisp

Slots on this relation:

Arity: 2

Domain: Binary-relation

Axioms:

(<=> (Trichotomizes ?Rel ?Domain)
     (And (Binary-Relation ?Rel)
          (Forall (?X ?Y)
                  (=> (And (Instance-Of ?X ?Domain)
                           (Instance-Of ?Y ?Domain))
                      (Or (Holds ?Rel ?X ?Y)
                          (= ?X ?Y)
                          (Holds ?Rel ?Y ?X))))))