theorem Th19: :: URYSOHN1:19

for T being non empty TopSpace holds
( T is T_1 iff for p being Point of T holds {p} is closed )