theorem Th28: :: TOPGEN_4:28

for F, G being set st F <> {} & G <> {} holds
(union F) \/ (union G) = union (UNION (F,G))