theorem :: YELLOW13:27

for T being TopSpace
for P being Basis of T holds P is basis of T