\begin{definition}[Definition:Open Statement]
Let $P$ be a statement.
$P$ is an '''open statement''' {{iff}} $P$ contains at least one free occurrence of a variables that appears in it.
\end{definition}