距離空間
点 y が Y の縁にある ⇔ Y に含まれる点列で y に収束するものが存在し、Yに含まれる点列で y に収束するものも存在する。
y ∈ X が Y の内部にあれば、補集合 Y から y に近づく(収束する)事はできないのだから、y は Y の縁ではない中身の部分にあるとみなせる。同様に y ∈ X が Y の外部にあれば、Y から y に近づく事はできないのだから、y は Y の縁ではない外側の部分にあるとみなせる。また y ∈ X が Y の境界にあれば、Y の中からも外からも y に近づけるのだから、y はY の縁にある。
距離空間は位相空間として第一可算性(任意の点が可算の近傍生成基を持つ)、パラコンパクト性、完全正規性やハウスドルフ性など、いくつかの扱いやすいと見なされる性質を持っている。また、距離空間が可算コンパクト性や点列コンパクト性を持つならばその空間が位相空間としてコンパクトであることが導かれる。この距離空間のコンパクト性は距離空間が全有界かつ完備であることと同値になる。さらに距離空間が可分である(稠密な可算部分集合を持つ)ことと第二可算公理を満たす(可算個の開集合によってその位相が生成される)ことは同値になる。