「A∩B ≠ φ かつ￢A⊃B かつ￢A⊂B」と互いに言い換え可能な表現一覧

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