Eine Abbildung ist eine rechtseindeutige linkstotale Relation.
Bei a (i) wäre also zu prüfen, gibt es in R zu jedem m aus Z
genau ein Paar in der Relation ?
Dem ist so, denn zu jedem m aus Z sind m-1 und m+1 die Nachbarn und
sowohl zwischen m-1 und m als auch zwischen m und m+1 gibt es keine
ganzen Zahlen. Also gilt die Bedingung m-1 < n < m+1 nur
für n=m . Diese ( etwas kompliziert formulierte) Abbildung ist also
die identische Abbildung auf Z.
