Category:Axioms/Semiring of Sets