Eine Abbildung f : M → N {\displaystyle {}f\colon M\rightarrow N} ist genau dann surjektiv, wenn der Graph der Abbildung (als Relation aufgefasst) rechtsvollständig ist, und genau dann injektiv, wenn der Graph linkseindeutig ist.
