Danke.
"Bei dir ist sowohl f(3)= f(6/2) = 2 als auch f(3) = f( 21/7) = 7 "
Das ist mir eigentlich bewusst, besser gesagt, dass
f(6/2) = 2 und f( 21/7) = 7.
Das entspricht der Vorschrift: "die jeder rationalen Zahl r= p/q ihren Nenner zuordnet. ", d.h. Nenner finden und zuordnen.
Wenn man das nicht will, muss man voraussetzen, dass der Bruch maximal gekürzt ist.
Dann passt dein: " f(r) = min { n ∈ ℕ | n·r ∈ ℤ } " gut, da es den kleinst möglichen natürlichen Nenner bestimmt.