>>290
Aが成り立つための必要条件がB ⇔ B⊃A
Aが成り立つための十分条件がC ⇔ C⊂A (A⊃C)
つまり B⊃A⊃CでありB∩C=Cであり必要十分条件ではない