Definition:Open Statement

Definition
Let $P$ be a statement.

$P$ is an open statement $P$ contains at least one free occurrence of a variables that appears in it.

Also see

 * Definition:Closed Statement