Objective synonymy
¥
¥
Syn
A
(A, B)
a particular case with
A
€
B as
pow
¥
¥
¥
Syn
A
(A, B)
¥
= Syn
A
(A, B, A
€
B)
B
A
A-A
€
(A
€
B)
B-B
€
(A
€
B)
Syn
A
(A, B)
A
€
B