\begin{definition}[Definition:Concatenation (Formal Systems)]
Let $\AA$ be an alphabet of symbols.
'''Concatenation''' is the process of placing elements of $\AA$ and words in $\AA$ next to each other to form a longer word.
\end{definition}