Sejam X e Y conjuntos finitos não vazios com cardinalidade |X| = m e |Y| = n, respectivamente, em que m, n ∈ N*. Considere o conjunto F de todas as funções f: X — Y. Define-se a propriedade P como o subconjunto das funções em F que são injetoras. Para que existam funções injetoras de  X em Y e sua quantidade seja dada pela expressão n! /(n-m)!, é condição necessária e suficiente que: