Category:Axioms/Sigma-Ring Axioms