>>890
だいたいは良いと思うけど
下段の⊃を示すときの場合分けはxがAの元である場合とxがAの元でない場合にした方が良いと思う
x∈Bであればx∈Cでなければならないってことはないからね(x∈Bかつx∈Aのとき)