Considere dois conjuntos finitos e não vazios, M e N, e uma relação f:M→N. Para que essa relação f possa ser definida como uma função é necessário que o conjunto M tenha menos elementos que o conjunto N. Os conjuntos M e N tenham a mesma quantidade de elementos. Cada elemento do conjunto M seja associado a um único elemento do conjunto N. Cada elemento do conjunto N seja associado a um único elemento do conjunto M.