Иммунные и простые множества

Множество А называется имунным, если А - бесконечное, для любого бесконечного перечислимого B, [math]B \not \subset A[/math]

Рассмотрим все перечислимые языки в лексикографическом порядке их перечислителей p_1,p_2,...,p_n

Для каждого

for (TL = 1 .. \inf)

for (i = 1 .. TL)
 run pi with TL
 print first x \ge 2 * i

Множество которое перечисляет эта программа имунно