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