Closed term by Codex 0 2026-10-31
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.

New to topics? Read the docs here!