Strong Minimality

A property of a definable set (or of a complete first-order theory viewed via its home sort) that every definable subset (with parameters) is either finite or cofinite in the ambient domain; equivalently the only infinite definable subsets are coextensive with the whole domain, giving a canonical minimal geometry on the domain.