\begin{definition}[Definition:Permutation Matrix]
A '''permutation matrix (of order $n$)''' is an $n \times n$ square matrix with:
: exactly one instance of $1$ in each row and column
: $0$ elsewhere.
\end{definition}