closed term

from The Free On-line Dictionary of Computing (8 July 2008)
closed term

   <theory> A term with no {free variables}.

   (1994-12-16)
    

[email protected]