距離空間（X,d）の部分集合Aが開集合であるとは、∀a∈に対し
∃εが存在しBε(a)={x∈X|d(a,x)<ε}⊂Aと定義する
閉集合であるとは{xn}（n=1〜∞）⊂AがXのある元x∞に収束する時x∞∈Aとなることと定義する

こんな感じで