1
$\begingroup$

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$

  • 0
    @rschwieb done.2012-10-26

1 Answers 1

2

Yes. Also known as functional.