theorem Th27: :: TOPGEN_4:27

for F, G being set holds union (UNION (F,G)) c= (union F) \/ (union G)