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