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

Мат. explicit definability