for T being non empty TopSpace
for P being Basis of T
for p being Point of T holds { A where A is Subset of T : ( A in P & p in A ) } is Basis of