Atomicidad

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).