Type (model theory)
In model theory and related areas of mathematics, a type is an object that describes how a element or finite collection of elements in a mathematical structure might behave. More precisely, it is a set of first-order formulas in a language L with free variables x1, x2,..., xn that are true of a set of n-tuples of an L-structure M . Depending on the context, types can be complete or partial and they may use a fixed set of constants, A, from the structure M . The question of which types represent actual elements of M leads to the ideas of saturated models and omitting types.
change_case:english_lowercase