Proof. In fact, if a is a limit point of E, then the base E 3 x -> a of deleted o neighborhoods UE{P) — UE{O) a of a is defined. 1 We recall that ^(o ) = E n U(a).
พิสูจน์ ในความเป็นจริงถ้าเป็นจุดขีด จำกัด ของ E แล้วฐาน E 3 x -> ของลบ o ละแวกใกล้เคียง UE {p). - UE {O) ของถูกกำหนดให้ 1 เราจำได้ว่า ^ (O) = E n U (ก)