Independent set in a strongly minimal theory (source code)

= Independent set in a strongly minimal theory

A set is independent when no element lies in the algebraic closure of the others. Every bijection between independent sets in a strongly minimal monster model is elementary because successive independent elements realize the unique generic type over the algebraic closure of their predecessors.