>>734　落ち着けって
>>733では単に質問してるだけだよ

望月はLとMの違いに基づいて　§2.4で
　（γJ＝†β⊂I）∧（γJ=‡α⊂I）　（AOL1）
　（γI＝β⊂I）∨（γI=α⊂I）　　　（AOL2）
だが
　（γI＝β⊂I）∧（γI=α⊂I）　　　（AOL4）
ではないといってる

けど、ほんとにそうなの？
（AOL1）と（AOL4）って違うの？

理解した人　教えて！