reserve A, B, X, Y for set;
reserve R, S, T for non empty TopSpace;

theorem Th35:
  for x being Point of T, J being Basis of x holds J is non empty
proof
  let x be Point of T, J be Basis of x;
  ex W being Subset of T st W in J & W c= [#]T by YELLOW_8:13;
  hence thesis;
end;
