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