\begin{definition}[Definition:Occurrence (Formal Systems)]
Let $\FF$ be a formal language.
Let $S, T$ be collations in the alphabet of $\FF$.
Each place where $S$ appears in $T$ is called an '''occurrence of $S$ in $T$'''.
\end{definition}