An → occurrence of a → variable in a → wff, → iff it is not a → bound occurrence.
See also: → bound; → occurrence.