theorem Th37: :: TOPGEN_1:37

for T being non empty TopSpace
for F being Subset-Family of T st F is dense-in-itself holds
union F c= union (Der F)