Teorem: Bir topolojik uzayın T1 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 T1 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.