Relation REFLEXIVE

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

Slots on this relation:

Instance-Of: Relation

Arity: 2

Domain: Binary-relation

Equivalence Axioms:

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

Other Related Axioms:

(=> (Reflexive $X $Y) (Binary-Relation $X))

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