A complete type p(x1, .., xn) is called principal (or atomic) if it is axiomatized by a single formula φ(x1, .., xn) ∈ p(x1, .., xn).
A model M of the theory is called atomic if every n-tuple of elements of M satisfies a complete formula.