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

しかしそもそも（AOL1)と（AOL4）の違いがわからないが、違うのか？