Parametrically Definable

Some articles on definable, parametrically definable:

Strongly Minimal Theory
... minimal structure is an infinite one-sorted structure such that every subset of its domain that is definable with parameters is either finite or cofinite ... Thus a structure is minimal only if the parametrically definable subsets of its domain cannot be avoided, because they are already parametrically definable in the pure language of equality ... As the example ACFp shows, the parametrically definable subsets of the square of the domain of a minimal structure can be relatively complicated ("curves") ...