Teorem: Bir topolojik uzayın $T_1$ uzayı olması için gerek ve yeter koşul uzayın tek elemanlı her altkümesinin kapalı olmasıdır.
Dolayısıyla bir topolojik uzay $T_1$ uzayı ise tek elemanlı her altkümesi kapalı olacaktır. Tek elemanlı her altkümesi kapalı olan uzayların altuzaylarının da tek elemanlı her altkümesinin kapalı olduğunu görmek zor olmasa gerek.