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