Can a partial function be defined as a binary relation that is right-unique*?
* $\forall x \in X$ and $y, z \in Y: xRy \land xRz \Rightarrow y = z$
Can a partial function be defined as a binary relation that is right-unique*?
* $\forall x \in X$ and $y, z \in Y: xRy \land xRz \Rightarrow y = z$
Yes. Also known as functional.