Relation SEMIGROUP

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

Slots on this relation:

Arity: 3

Axioms:

(<=> (Semigroup ?Domain ?Op ?Id)
     (And (Binary-Operator-On ?Op ?Domain)
          (Associative ?Op ?Domain)
          (Identity-Element-For ?Id ?Op ?Domain)))