Большая Советская энциклопедия - разрешимое множество

в логике, множество, расположенное в некоторой совокупности конструктивных объектов (См. Конструктивные объекты) (т. е. множество, составленное из каких-то объектов этой совокупности), для которого существует Алгоритм, разрешающий это множество (относительно объемлющей совокупности) в следующем смысле: алгоритм применим к любому объекту объемлющей совокупности и даёт в качестве результата ответ на вопрос, принадлежит ли этот объект к рассматриваемому множеству или нет.

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978

.