theorem Th13: :: TDLAT_2:13

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