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

Мат. definability lemma