>>700
早速のレスありがとうございます。
内点の定義はまさにそれです。
開集合の定義は、Ｏ⊂Ｘとし、Ｏ＝Ｏ＾i
であるとき、ＯをＸの開集合とすると
習いました。