Eine Relation R ⊆ M × N {\displaystyle {}R\subseteq M\times N} heißt rechtseindeutig, wenn es zu jedem x ∈ M {\displaystyle {}x\in M} maximal ein y ∈ N {\displaystyle {}y\in N} mit ( x , y ) ∈ R {\displaystyle {}(x,y)\in R} gibt.
