Uma relação entre dois conjuntos em que cada elemento do primeiro conjunto está associado a exatamente um único elemento do segundo conjunto é considerada uma função porque, por definição, uma função atribui a cada elemento do domínio (primeiro conjunto) um único elemento do contradomínio (segundo conjunto). Isso garante que não haja ambiguidade ou múltiplas imagens para um mesmo elemento do domínio, caracterizando assim uma relação funcional.