Просто́е мно́жество, рекурсивно перечислимое множество натуральных чисел, дополнение которого есть иммунное множество. Простые множества являются промежуточными в смысле т. н. $m$-сводимости (см. в статье Рекурсивная теория множеств) между разрешимыми множествами и творческими (креативными) множествами – последние являются наибольшими среди перечислимых множеств в смысле $m$-сводимости. Пусть $P$ – произвольное простое множество, а $K$ – произвольное креативное множество натуральных чисел (например, множество чисел Гёделя теорем формальной арифметики). Тогда не существует общерекурсивной функции $f(x)$, сводящей $K$ к $P$, т. е. такой, что

$$x\in K \Leftrightarrow f(x)\in P.$$Сводимость $P$ к $K$ имеет место всегда, а к $P$ не сводится ни одно разрешимое множество.