\begin{definition}[Definition:Latin Square]
Let $n \in \Z_{>0}$ be some given (strictly) positive integer $n$.
A '''Latin square''' of order $n$ is a square array of size $n \times n$ containing $n$ different symbols, such that every row and column contains '''exactly one''' of each symbol.
That is, each row and column is a permutation of the same $n$ symbols.
\end{definition}