theorem Th6: :: HILB10_7:6

for X, Y being set holds UNION ((bool X),(bool Y)) = bool (X \/ Y)