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