Oricărui număr îi corespunde un altul. Şi o grupare, să zicem aşa de numere este o funcţie numai dacă fiecare număr din prima grupă, are un corespondent în a a doua.
să zicem :
1 a
2 b
3 c
4 d
1 cu c
2 cu a
3 cu d
4 cu b
Fiecare număr din prima grupă, are un corespondent în a doua. Dacă ar fi să zicem 2 cu a şi b, atunci acea grupare nu ar fi funcţie fiindcă 2 din prima are 2 corespondenţi şi trebuie sa aibă doar unul. Dacă unul din prima grupă nu are corespondent, din nou, nu este funcţie fiindcă trebuie sa aibă corespondent. Nu contează dacă în cea de-a doua nu este un număr din prima, ci prima să aibă un corespondent şi numai unul.
