closed term

<theory> A term with no free variables.



Nearby terms:
CLOS « closed-box testing « closed set « closed term » Clos network » closure » closure conversion