Axiom:Integral Domain Axioms

Definition
An integral domain is an algebraic structure $\struct {D, +, \circ}$, on which are defined two binary operations $\circ$ and $+$, which satisfy the following conditions:

These criteria are called the integral domain axioms.

Also presented as
These can also be presented as:

Also see

 * Definition:Integral Domain