theorem :: YELLOW_8:16

for T being non empty TopSpace
for S being Subset of T st S is closed holds
for p being Point of T st p is_dense_point_of S holds
S = Cl {p} by ZFMISC_1:31, TOPS_1:5;