theorem Th38: :: TOPGEN_1:38

for T being non empty TopSpace
for F being Subset-Family of T st F is dense-in-itself holds
union F is dense-in-itself