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.
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.