:: deftheorem Def5 defines closed_for_countable_meets TOPGEN_4:def 5 :
for T being set
for F being Subset-Family of T holds
( F is closed_for_countable_meets iff for G being countable Subset-Family of T st G c= F holds
meet G in F );