Рекурсивное Отношение

Такое отношение , где — множество натуральных чисел, что функция f, определенная на условием является рекурсивной функцией. В частности, при любом пуниверсальное отношение и нуль-отношение являются Р. о. Если Rи Sсуть n-местные Р. о., то отношения также будут Р. о. Относительно операций ,' система всех n-местных Р. о. образует булеву алгебру. В. Е Плиско.