「集合BはAと交わるが、Bの部分集合でない」の言い換え表現

「A∩B ≠ φ かつ　￢A⊃B 」　（集合A,Bは交わるが、AはBを含まない）　(集合A,Bは交わるが、BはAの部分集合でない)」と互いに言い換え可能な表現一覧を作成、アップロード。