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