theorem Th28: :: TDLAT_2:29

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