>>54
>⇔∃e>0 U(x,e)⊂X-A∨U(x,e)∩A={x}
>⇔∃e>0 ∀y∈U(x,e) ∃d>0 U(y,d)⊂U(x,e)⊂X-A∨U(y,d)∩A={y}
⇔∃e>0 U(x,e)∩A=φor{x}
⇔∃e>0 ∀y∈U(x,e) ∃d>0 U(y,d)∩A=φor{y}
のがいいや}