positive natuerliche Zahl |-> natuerliche Zahl