for T being non empty TopSpace st T is T_1/2 holds
T is T_0