Added the union-intersection commutative semirings for sets.