Relation/Abbildung/Surjektiv/Bemerkung

Eine Abbildung ist genau dann surjektiv, wenn der Graph der Abbildung (als Relation aufgefasst) rechtsvollständig ist, und genau dann injektiv, wenn der Graph linkseindeutig ist.