>>867
A, Bが開集合ならa_i∈A, b_j∈Bとするとまずい。
sup, infなので。