ただしCは全集合をUとしたときC={x∈U:(B∩C)≠Ø,C⊂U}とするんやが合ってるんやろか
ワイが今から証明しようとしてる問題で上のやつ使おうと思ってるんやが