>>587
x ∈ ∪[a ∈ B] U_a とすると、ある U_a があって
x ∈ U_a ⊂ A
よって、x は A の内点