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 . 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.
New to topics? Read the docs here!