位相的性質
距離化可能: 空間が距離付け可能とは、それが適当な距離空間に同相となるときに言う。距離付け可能空間は常にハウスドルフかつパラコンパクト(したがって、正規かつチホノフ)であり、かつ第一可算である。より明確に、位相空間 (X, T) が距離化可能であるとは、X 上の適当な距離函数 d が存在して d の誘導する位相(距離位相)T(d) がもとの位相 T に一致するときに言う。
ポーランド: 空間がポーランドとは、それが可分かつ完備な距離函数で距離化可能であるときに言う。
局所距離化可能: 空間が局所距離化可能とは、各点が距離化可能な近傍を持つときに言う。