2012年5月15日火曜日

A∩B = φ ⇔ ¬( ∃ω∈A ω∈B ) ⇔  ¬(∃ω∈B ω∈A )

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