于所讨论的拓扑空间加有各种各样的限制条件，分离公理即是指之中的某些限制条件。这些分离公理有时候被叫做吉洪诺夫分离公理，得名于安德烈·尼古拉耶维奇·吉洪诺夫。部分分离公理以字母T开头，是由德文单词“Trennung”而来，意义是分离。分离公理之所以称为公理，是因为以前定义拓扑空间时，有些人会将其也做为公理来定义，而得出较现在意思狭义的拓扑空间。但在拓扑空间的公理化完成后，那些都成了「各种」的拓扑空间。然而，「分离公理」这一词就这样固定了下来。
初步定义.在定义分离公理之前，让我们