>>181
全体集合をUとして、集合Aと集合Bがあるとき
A⊂B⇒(Aの補集合)⊃(Bの補集合)
が成り立つからじゃない？
待遇はそれぞれを否定(補集合)にして順番を入れ替えたものだから、要素の集まりとしてみると上の式のようにできるはずだよ