definable set

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