Closed

An expression $e$ is closed if $FV(e)=\{\}$, meaning it has no free variables. All variables in the expression are bound by some enclosing binding.

See Also

• Bindings
• empty string
• language