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