Difference between revisions of "Semiring (measure theory)"