theorem :: TDLAT_2:27

for T being TopSpace
for F being Subset-Family of T holds meet (Int F) c= meet F