Вирішувана безліч в логіці, безліч, розташована в деякій сукупності конструктивних об'єктів (тобто безліч, складена з якихось об'єктів цієї сукупності), для якого існує алгоритм, що вирішує це безліч (відносно охоплюючої сукупності) в наступному сенсі: алгоритм застосовний до будь-якому об'єкту охоплюючої сукупності і дає як результат відповідь на питання, чи належить цей об'єкт до даної безлічі чи ні.
