>>584
助言ありがとうございます。
∪[a ∈ B] U_a ⊂Bの証明ってどうしたらいいのでしょうか?