Definition:Semiring of Sets/Also defined as