(X,d＿X)を距離空間とし、(A,d＿A)をその
部分距離空間とする。Ｏ＿XをXの開集合
全ての集合、Ｏ＿AをAの開集合全ての集合
とするとき、Ｏ＿A={Ｏ∩A｜Ｏ∈Ｏ＿X}
となることを証明せよという問題なのですが、
どなたか教えてください。よろしくお願い
します。