
theorem
  for T being TopSpace, K being prebasis of T holds K is open;
