Type

Un type (type en théorie des modèles) est un ensemble de formules du premier ordre à paramètres tirés d'un ensemble A fixé et cohérent avec une théorie T ; il décrit le profil du premier ordre — partiel ou complet — qu'un élément ou un n-uplet peut satisfaire dans des modèles de T.