Relative synonymy
¥SynR(A, B, C) = SynR(B, A, C)
¥SynR(A, A, C) = D (A € C, A € C) = 0

¥SynR(A, B, 0) = D (0, 0) = 0
¥SynR(A, 0, C) =  p/2

¥SynA(A, B) = SynR(A, B, 1)
l= D (A € 1, B € 1)
l= D (A, B)