calculable subset

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