for X being set holds bool X is semiring_of_sets of X ;