(s1, s2)≡(s3, s4)⇔φ((s1, s2)) = φ((s3, s4))
(s1, s2) (s3, s4)vfvg
φ h h(s1) = s3h(s2) = s4
g(h(s1)) = h(f(s1)) g◦h h ◦f
vg◦h=vh◦fvg◦vh=vh◦vg
O+
2vf=vg
vf=vg
h(s1) = s3h(s2) = s3
O O0(s1, s2) (s3, s4)h(s2) = h(f(s1)) = [O0h(f(A)))
s1= [OA)
O0h(f(A)) = vh(Of(A)) = vh(~
f(O)f(A)) = vh(vf(~
OA)) = vh(vg(~
OA)) = vg(vh(~
OA)) = ~
O0g(A)
h(s2) = s4
O+
2
(s1, s2) + (s2, s3) = (s1, s3)si
f g h f(s1) = s2g(s2) = s3h(s1) = s3
g◦f=h g(f(s1)) = h(s1)
α= (s1, s2)β= (s3, s4)
f(s2) = s3α= (s1, s2) = (f(s1), f(s2)) = (f(s1), s3)
α+β= (f(s1), s4)
α= (s0
1, s0
2)g g(s1) = s0
1g(s2) = s0
2
β= (s0
3, s0
4)h h(s3) = s0
3h(s4) = s0
4
f0f0f0(s0
2) = s0
3
(f0(s0
1), s0
4) (h−1(f0(s0
1)), s4)
h−1(f0(s0
1)) = f(s1)
h−1(f0(s0
2)) = h−1(s0
3) = s3=f(s2) = f(g−1(s0
2)) h−1◦f0
f◦g−1h−1(f0(s0
1)) = f(g−1(s0
1)) = f(s1)