\begin{definition}[Definition:Scope (Logic)/Quantifier]
Let $\mathbf A$ be a WFF of the language of predicate logic.
Let $Q$ be an occurrence of a quantifier in $\mathbf A$.
Let $\mathbf B$ be a well-formed part of $\mathbf A$ such that $\mathbf B$ begins (omitting outer parentheses) with $Q x$.
That is, such that $\mathbf B = \paren {Q x: \mathbf C}$ for some WFF $\mathbf C$.
$\mathbf B$ is called the '''scope of the quantifier $Q$'''.
\end{definition}