>>95
(4)A∩B＝Φ　⇒　Aの補集合⊃B、なら
B∋xとすると仮定よりxはAには含まれないのでA^c(補集合の意)∋x
とか
(11)(A-B)-C＝A-(B∪C)なら
(A-B)-C∋x⇔A-B∋xかつCには含まれない
⇔A∋xかつBに含まれないかつCに含まれない
⇔A∋xかつB∪C含まれない
⇔A-(B∪C)∋x
とか