recursively enumerable set

Лог. рекурсивно-перечислимое множество