>>939
>確かに[1]'=[2]'=[3]'ですね
ですよね

>ここで[1]'=[2]'=[3]'を[0]=[1]に移しますが、
>[0]=[1]の代表元が自然には決まらないことになりますね
ここで質問
(AOL4)　（γI＝β⊂I）∧（γI=α⊂I）
のα、βは同値類ではなくその元ですか？
つまり[0]=[1]という同値関係とは全く無関係ですか？