semiring_of_sets