Atomicity

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The model-theoretic property of a theory or structure that every complete type over the empty set (or a specified parameter set) is isolated by a single formula; equivalently, every tuple in the structure has a principal (isolated) type.