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.