for T being non empty TopSpace st T is T_1 holds
for p being Point of T holds Cl {p} = {p} by URYSOHN1:19, TOPS_1:5, PRE_TOPC:18;