 Strongly minimal theory

A complete theory is strongly minimal when every definable one-variable subset of every model is finite or cofinite.

In model theory, a branch of mathematical logic, a theory is termed "strongly minimal" if it satisfies certain specific properties related to definable sets.