。设formula_1为一拓扑空间，formula_2，formula_3是实数集，定义：对于formula_1中的点formula_37（或点formula_38和子集formula_8），称它们为拓扑可分，可分离，邻域可分离等等，当且仅当单元素集合formula_40和formula_41（或formula_40和子集formula_8）是拓扑可分，可分离，邻域可分离等等。以上这些条件是按强度依序给出的：任何两个拓扑可区分的点也必然是相区分的，任何两个分离的点也必然是拓扑可区分的。更进一步地