##  [Type Partiel](/fr/node/60071) 

  ##  [Type Partiel](https://mathlogic.quantumdictionary.io/fr/node/60072) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

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.