Rechtseindeutige Relation

Sei \(R \subseteq X \times Y\) eine Relation auf den Mengen \(X,Y\). \(R\) ist genau dann rechtseindeutig, wenn gilt:

\begin{align*} \forall x \in X \forall y \in Y \forall y' \in Y : ((x,y) \in R \land (x,y') \in R \Rightarrow y = y') \end{align*}