Trust me. I went to grad school for Logic.

In ZFC without Replacement, the number of functions from an $N$-element set to an $M$-element set is $M \times (M - 1) \times \ldots \times (M - (N - 1))$.

$\setCounter{0}$