:: deftheorem Def4 defines closed_for_countable_unions TOPGEN_4:def 4 :
for T being set
for F being Subset-Family of T holds
( F is closed_for_countable_unions iff for G being countable Subset-Family of T st G c= F holds
union G in F );