Theory of nontrivial torsion-free divisible Abelian groups ($\mathrm{DAG}$)

This first-order theory has as models the nonzero torsion-free divisible Abelian groups. Rational division equips them with the structure of vector spaces over the rational numbers. A rational divisible hull gives an algebraically prime extension of each nonzero torsion-free base, while the zero base uses a one-dimensional rational space.

Remove the nonzero-model axiom from DAG. The inclusion $\{0\}\subseteq \mathbb{Q}$ is then an inclusion of models but is not a simple closure, because $x\ne 0$ has a witness only in the larger model. The theory does not have quantifier elimination: all closed group terms are zero, so no quantifier-free sentence distinguishes the two models.