
theorem Th19:
  for T being non empty TopSpace, p being Point of T holds p
  is_dense_point_of {p}
by TARSKI:def 1,PRE_TOPC:18;
