Here is a counter-example:
Let the
set of truths be
{a,b,x,y}, and define synthesis as follows:
∅abxya,xb,ya,bx,ya,yb,xa,b,xa,b,ya,x,yb,x,ya,b,x,y⟼a⟼a⟼b⟼x⟼y⟼b⟼a⟼a⟼x⟼a⟼b⟼b⟼a⟼a⟼b⟼a
You can verify for yourself that this
satisfies functionality, identity, and idempotence. (I recommend using a program!)
Note that both
a⟼xb and
b⟼ya, meaning that both
a⇉b and
b⇉a, but
b=a!