theorem :: TDLAT_2:82

for T being non empty TopSpace
for F being Subset-Family of T st F is domains-family holds
Int F is open-domains-family