theorem Th55: :: MODELC_3:55

for X being set holds union (BOOL X) = X