Definition 17.4. A theory $T$ is strongly minimal if $\forall M\models T$ every definable subset of $M$ is finite or cofinite.