implicit definability

Мат. неявная определимость