theorem :: YELLOW13:23

for T being non empty TopSpace
for p being Point of T
for P being Basis of holds P is basis of p