\begin{definition}[Definition:Set of Strings of Given Length]
Let $n \in \N$ be a natural number.
Let $\Sigma$ be an alphabet.
The set of all strings from $\Sigma$ of length $n$ is denoted $\Sigma^{\paren n}$.
\end{definition}