Axiom:Integral Domain Axioms