A∩B ＝ φ ⇔ ￢（ ∃ω∈A ω∈B ） ⇔ ￢（∃ω∈B ω∈A ）

「集合A,Bは互いに素」の言い換え表現に、
「集合A,Bは互いに素」の言い換え表現3-1'
　「 集合Aのなかに、《集合Bに属す元》が、一つもない 」￢（ ∃ω∈A　ω∈B ）　
　ないし
　「 集合Bのなかに、《集合Aに属す元》が、一つもない 」 　￢（∃ω∈B　ω∈A ）
を追加。