In → predicate logic, a → wff with no → free occurrences of any → variable. Also called a → sentence.
→ closed; → wff.
