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