closed term

A term with no free variables.

(1994-12-16)