集合AはBと交わるが、Bの部分集合でない

「A∩B ≠ φ かつ　￢A⊂B 」　（集合AはBと交わるが、Bの部分集合でない)」と互いに言い換え可能な表現一覧。
「どうして【表現1】のとき【表現6】と言ってもいいの？」からTautologyへのリンク設置。