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!