近傍(距離空間)

距離空間において、近傍とは、距離空間上の任意の点に関連付けられた特定の集合のことです。

距離空間上の点\(x\)の近傍は、\(x\)が作る開球を完全に含む集合と定義されます。