theorem Th14: :: TDLAT_2:14

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