>>18

「S の空でない部分集合 O が開集合であるための必要十分条件は、
O の任意の点 x に対して、 O が x の近傍となっていることである。」

と書いてあると書きましたが、

その後も、

「x ∈ O ⇒ O ∈ V(x) を満たす S の空でない部分集合および空集合 φ から成る集合系」

などという記述があります。

これも、

「x ∈ O ⇒ O ∈ V(x) を満たす S 部分集合から成る集合系」

と書けば済む話です。

松坂和夫さんは一体何を考えているのでしょうか？