closed term

A term with no free variables.

1
Show
Maximize