Closed term
= Closed term
A closed term contains no variables, so its value in a <first-order structure> does not depend on an assignment. In a language containing only relations and the constant zero, zero is the only closed term. A <term-generated model> has every element denoted by such a term.