f è la funzione che "considera" un numero intero risultato di una divisione (e quindi, a priori, razionale), come appartenente a N: è in pratica la funzione identica:

f    :	N ∩ Q	→	N
	q		q.