---

Predicate

A statement-like declaration with \(n \geq 1\) free variables, denoted

\[\begin{equation*}
  P(x_1, \ldots, x_n),
\end{equation*}
\]

where	\(P\)	is the name and
	\(x_i\)	is the \(i\)-th free variable.

that becomes a statement when quantified.