definability lemma

Мат. лемма определимости