 Generic type in a strongly minimal theory

Over an algebraically closed parameter set in a strongly minimal theory, there is a unique nonalgebraic one-type. It is called the generic type: its realizations are precisely the elements outside the algebraic closure of the parameters.