Let $X$ be a D17: Finite set such that

(i)	$\text{Per}(X)$ is the D2921: Set of permutations on $X$

Then \begin{equation} |\text{Per}(X)| = |X|! \end{equation}