2012年5月6日日曜日

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

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