:: deftheorem Def1 defines -quasi_basis YELLOW_8:def 1 :
for T being non empty TopStruct
for x being Point of T
for F being Subset-Family of T holds
( F is x -quasi_basis iff ( x in Intersect F & ( for S being Subset of T st S is open & x in S holds
ex V being Subset of T st
( V in F & V c= S ) ) ) );