Natürliche Zahlen/Intervalle/Nachfolgerintervall/Aufgabe

Es seien ${}k$ und ${}n$ natürliche Zahlen. Zeige, dass die (Nachfolger-)Abbildung

$\{k,\ldots ,n\}\longrightarrow \{k^{\prime },\ldots ,n^{\prime }\},\,i\longmapsto i^{\prime },$

bijektiv

ist.

Eine Lösung erstellen