Relation/Abbildung/Surjektiv/Bemerkung

Eine Abbildung ${}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.