>>836

>じゃ聞くけど、なんでそれでAOL4が成り立たないの？

AOL4はI上の話だよ？
IからLに自然な写像があってγ_Iはγ_Lへ移るような連結部分集合ってのが設定
この仮定だとγ_Iは｛α｝もしくは｛β｝、
だけどもちろんγ_I= ｛α｝=｛β｝はあり得ない

>「それだけ」といってる？
>「それだけではない」といってる？

それだけではないの意味
他にも同一視される点はたくさんあるからね