theorem :: SRINGS_2:5

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