Relation ABELIAN-GROUP

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

Slots on this relation:

Arity: 3

Subrelation-Of: Group

Axioms:

(<=> (Abelian-Group ?Domain ?Op ?Id)
     (And (Group ?Domain ?Op ?Id) (Commutative ?Op ?Domain)))