Difference between revisions of "Semiring of sets"