Objective synonymy
SynA(A,
B)a
particular case withA€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
SynA(A,
B)a
particular case withA€B as pow
SynA(A, B) = SynA(A, B, A€B)