Relation PARTIAL-ORDER

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

Slots on this relation:

Instance-Of: Relation

Arity: 2

Equivalence Axioms:

(<=> (Partial-Order ?Domain ?Rel)
     (And (Irreflexive ?Rel ?Domain)
          (Asymmetric ?Rel ?Domain)
          (Transitive ?Rel ?Domain)))

Other Related Axioms:

(<=> (Partial-Order ?Domain ?Rel)
     (And (Irreflexive ?Rel ?Domain)
          (Asymmetric ?Rel ?Domain)
          (Transitive ?Rel ?Domain)))