Let $n \in \mathbb{N}$ be a D996: Natural number.

Then \begin{equation} \left| \text{Inj}(\{ 1, \ldots, n \} \to \{ 1, \ldots, n \}) \right| = n! \end{equation}