2012年5月13日日曜日

Perfume∩AKB48=φ ⇔ ¬( ∃ω∈Perfume ω∈AKB48 )

「PerfumeとAKB48は互いに素」の同値条件一覧に、
   (表現1) Perfume∩AKB48=φ  
  (表現3-1') ωPerfume ωAKB48 )  
   (表現3-1'') ωAKB48 ωPerfume )
 を追加。