theorem Th15: :: TDLAT_2:15

for T being TopSpace
for F being Subset-Family of T holds union (Cl F) c= Cl (union F)