##  [Atomicité](/index.php/fr/node/61039) 

  ##  [Atomicité](https://mathlogic.quantumdictionary.io/fr/node/61040) 

  

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

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Propriété en théorie des modèles selon laquelle toute type complète sur l'ensemble vide (ou sur un ensemble de paramètres donné) est isolée par une seule formule ; autrement dit, tout n-uplet d'une structure a un type principal isolé.