parametric definability

Мат. параметрическая определимость