theorem Th60: :: FOMODEL0:60

for X, Y being set st union X c= Y holds
X c= bool Y