>>116
⊃は O∩A∋x とすると、xのAでの近傍⊂xのXでの近傍から
⊂は O_A∋O~ に対して O~に属する各点のXでの近傍の和集合を考える