for T being non empty TopSpace
for x being Point of T st T is T_2 holds
{x} is closed ;