Definition:Occurrence (Formal Systems)

Definition
Let $\mathcal F$ be a formal language.

Let $S$ be a collation in the alphabet of $\mathcal F$.

Let $\mathbf W$ be a well-formed formula of $\mathcal F$.

Each place where $S$ appears in $\mathbf W$ is called an occurrence of $S$ in $\mathbf W$.

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