>>106

EがBの要素4含んでいてもBにすべてEが含まれる訳ではないので、
E⊄Bで表せると言うことなのですね!

一つでも(4)含んでいたらダメだと思ってました。