theorem Th34: :: TOPS_2:34

for T being TopStruct
for M being Subset of T
for F being Subset-Family of T holds union (F | M) c= union F