theorem Th26: :: TOPGEN_4:26

for T being set
for F, G being Subset-Family of T holds card (UNION (F,G)) c= card [:F,G:]