theorem :: PCOMPS_1:19

for T being non empty TopSpace
for FX being Subset-Family of T holds union FX c= union (clf FX) by Th17, SETFAM_1:13;