decidable set

Мат. разрешимое множество