Relative synonymy
¥
Syn
R
(A, B, C) = Syn
R
(B, A, C)
¥
Syn
R
(A, A, C) = D (A
€
C, A
€
C) = 0
¥
¥
Syn
R
(A, B,
0
) = D (
0
,
0
) = 0
¥
Syn
R
(A,
0
, C) =
p
/2
¥
¥
Syn
A
(A, B) = Syn
R
(A, B,
1
)
l
= D (A
€
1
, B
€
1
)
l
= D (A, B)