集合A,Bは交わる⇔集合Aのなかに《集合Bに属す元》が存在

「集合A,Bは交わるintersect」のノート。
「集合A,Bは交わる」の言い換え可能な表現3-1'
　(表現1)　A∩B ≠ φ
　 　⇔　(表現3-1')　∃ω∈A　ω∈B　
　　　　　(表現3-1'')　∃ω∈B　ω∈A　
追加。