竹之内の本を入手できなかったので、結局、ほんとうはどんなことが書かれていたのか不明なままだw

x∈AをA(x)、x∈BをB(x)として考えるなら、
∀x(A(x)⇒B(x))はAに属さないｘも含んでしまう。
なので、もし部分集合を語っているのであれば、もっと制限がついているはずである。