##  [Atomicidad](/es/node/61039) 

  ##  [Atomicidad](https://mathlogic.quantumdictionary.io/es/node/61040) 

  

 [![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**

 







 

 

 

 



 

 

 

 

Definición

La propiedad en teoría de modelos según la cual todo tipo completo sobre el conjunto vacío (o sobre un conjunto de parámetros dado) está aislado por una única fórmula; es decir, cada tupla en la estructura tiene un tipo principal (aislado).