Relation FIELD

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

Slots on this relation:

Arity: 5

Subrelation-Of: Division-ring

Axioms:

(<=> (Field ?Domain ?Plus-Op ?Zero-Id ?Mult-Op ?One-Id)
     (And (Division-Ring ?Domain ?Plus-Op ?Zero-Id ?Mult-Op ?One-Id)
          (Commutative ?Plus-Op ?Domain)))