Definition:Occurrence (Formal Systems)

Definition
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$.

Also known as
Some sources refer to this as an instance.