Type Partiel

Un type partiel (type n-partiel) est un ensemble consistant de formules du premier ordre avec paramètres dans un tuple de variables choisi qui décrit certaines propriétés qu’un tuple potentiel peut satisfaire mais n’est pas tenu de décider pour chaque formule dans ces variables ; il admet au moins une réalisation ou extension et peut être étendu en un type complet.