theorem Th29: :: TOPGEN_4:29

for F being set holds UNION ({},F) = {}