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