そうなんだよね
部分と全体について考えるとわからなくなる
一応部分集合の証明を
∃x(x∈￢B ⇒ x∈￢A)
としてみたけれど

∃x(x￢∈B ⇒ x￢∈A)

を考えてみる

A：={1,2}
B：={1,2,3}

の場合

Bに属さないものを仮定する
Bの要素は1,2,3であるがBに属さないものをたとえば適当にAと考えるとき
Aの要素1,2はBの要素でもあるからそのような元をとることはできない
それゆえBに属さないものを仮定するということはできない
これが僕の結論です

上述の通り
∃x(x￢∈B ⇒ x￢∈A)　①
と
∃x(x∈￢B ⇒ x∈￢A)　②
との違いは
①はBに属さないものをとらなければならない
それに対して
②はBでないものつま適当にAやAでないものをとることができる

と解釈しています