>>519
A⊂X,x∈Xとすると、xがAの内点であるとは
∃ε＞0 st U(x,ε)⊂A（U(x,ε)は近傍のことです）
だと習いました。