Absolute synonymy
¥
Syn
A
(A, B) a particular case with
A
€
B as
ref
¥
¥
Syn
A
(A, B) = Syn
R
(A, B, A
€
B)
¥
¥
¥
¥
B
A
A
€
B
A+A
€
(
A
€
B)
B+B
€
(A
€
B)
Syn
A
(A, B)