Term-generated model
= Term-generated model
A term-generated model has every element denoted by a <closed term> of its original language. Each element is then parameter-free definable by an equation $x=t$. A <term model> of a complete Henkin theory is a syntactic construction with this property, but “term-generated” can be stated for an arbitrary structure without choosing such a construction.