definable subset

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