位相空間を開集合族ではなく近傍系で定義する方法について説明する。 定義： 集合 X に対し、各点 x ∈ X に対してその点の近傍系𝒩(x) が割り当てられているとする。このとき、以下...