Definition:Scope of Occurrence

This page is about Scope of Occurrence in the context of Formal System. For other uses, see scope.

Definition

Let $\FF$ be a formal language with alphabet $\AA$.

Let $\mathbf A$ be a well-formed formula of $\FF$.

Let $a$ be a fixed occurrence of some element of $\AA$ in $\mathbf A$.

Then the scope of $a$ is the smallest well-formed part of $\mathbf A$ that contains $a$.

Also see

• Definition:Scope (Logic), highlighting two of the most common usages of scopes

Sources

• 2009: Kenneth Kunen: The Foundations of Mathematics ... (previous) ... (next): $\text {II}.4$ Polish Notation: Definition $\text {II}.4.6$