Relation INVERTIBLE

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

Slots on this relation:

Arity: 3

Axioms:

(<=> (Invertible ?Op ?Id ?Domain)
     (Forall (?X)
             (=> (Instance-Of ?X ?Domain)
                 (Exists (?Y)
                         (And (Instance-Of ?Y ?Domain)
                              (= (Value ?Op ?X ?Y) ?Id)
                              (= (Value ?Op ?Y ?X) ?Id))))))