Relative synonymy
¥SynR(A, B, C) with  C as a reference (ref)
¥
¥SynR(A, B, C) = DA(A+A€C, B+B€C)
¥
¥
¥
¥
B
A
C
A+A€C
B+B€C
SynR(A, B, C)