For a complete consistent theory with the Henkin witness property, the term model has closed terms modulo provable equality as elements. Functions are evaluated by forming terms, and atomic relations hold exactly when the corresponding atomic sentences belong to the theory. Provable equality makes these interpretations well defined.
New to topics? Read the docs here!