Absolute synonymy
¥SynA(A, B) a particular case with  A€B as ref
¥
¥SynA(A, B) = SynR (A, B, A€B)
¥



B
A
A€B
A+A€(A€B)
B+B€(A€B)
SynA(A, B)