Axiom:Associative Ring Axioms