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)