general recursive set

Лог. общерекурсивное множество