:: deftheorem Def2 defines all-open-containing TOPGEN_4:def 2 :
for T being non empty TopSpace
for F being Subset-Family of T holds
( F is all-open-containing iff for A being Subset of T st A is open holds
A in F );