theorem Th34: :: TOPGEN_1:34

for T being non empty TopSpace
for F being Subset-Family of T holds union (Der F) c= Der (union F)