>>269
A⊂R^nが開集合
⇒U(P;r)={Q∈R^n; d(P,Q)<r} ⊂A ( ∀p∈A,∃r>0 )
です。