記号的に書けば「分離される」⇒「位相的に識別可能」⇒「相異なる」となり、位相的に識別可能であるという性質は、一般には相異なるという条件よりも強く、分離されるという条件よりは弱い制約条件であると言える。
也就是说，“分离”的⇒“拓扑可区分”的⇒“独特”的是拓扑可区分的性质一般的要强于是独特的，但要弱于可分离的。