Type

A type (model-theoretic type) is a set of first-order formulas with parameters from a fixed parameter set A that is consistent with a background theory T; it describes a possible first-order profile (partial or complete) that an element or tuple could satisfy in models of T.