Không gian ''T''<sub>1</sub> : Một không gian tôpô được gọi là không gian ''T''<sub>1</sub> nếu với mọi điểm <math>\mbox{x} \ne\mbox{y} </math> có một tập mở chứa x mà không chứa y '''và''' một tập mở chứa y mà không chứa x.
Không gian ''T''<sub>2</sub> : ChoMột haikhông điểmgian tôpô được gọi là không gian ''T''<sub>2</sub> hay "Hausdorff" nếu với mọi <math>\mbox{x,} \ne\mbox{y} phân biệt,</math> có hai2 tập mở rời nhau <math>\mbox{U,} V</math> rờivà nhau<math>\mbox{V} </math> sao cho <math>\mbox{x} \in\mbox{U} chứa x</math> và <math>\mbox{y} \in\mbox{V} chứa y</math>.
Không gian ''T''<sub>3</sub> : ChoMột mộtkhông điểmgian được gọi là không gian ''T''<sub>3</sub> hay "chính tắc" nếu với mọi <math>\mbox{x} và</math> mộtvà tập đóng <math>\mbox{F} </math> không chứa <math>\mbox{x,} </math> có hai2 tập mở rời nhau <math>\mbox{U,} V</math> rờivà nhau<math>\mbox{V} </math> sao cho <math>\mbox{x} \in\mbox{U} chứa x</math> và <math>\mbox{F} \in\mbox{V} chứa F</math>..
Không gian ''T''<sub>4</sub> : ChoMột không gian ''T''<sub>1</sub> được gọi là không gian ''T''<sub>4</sub> hay "chuẩn tắc" nếu với hai tập đóng rời nhau <math>\mbox{F,} G</math> rờivà nhau,<math>\mbox{G} </math> có hai2 tập mở rời nhau <math>\mbox{U,} V</math> rờivà nhau<math>\mbox{V} </math> sao cho <math>\mbox{F} \subset\mbox{U} chứa F</math> và <math>\mbox{G} \subset\mbox{V} chứa G</math>.
