theorem Th17: :: TDLAT_2:18

for T being TopSpace
for F being Subset-Family of T holds Int F is open