theorem Th18: :: YELLOW_8:18

for T being non empty TopSpace
for p being Point of T holds p is_dense_point_of Cl {p}