# Partial function as a type of binary relation

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$

-
Please include the definitions you are working with so people can make sense of the question. – rschwieb Oct 24 '12 at 15:04
@rschwieb done. – prasopes Oct 26 '12 at 13:01