Математическая энциклопедия - рекурсивное отношение

такое отношение , где множество натуральных чисел, что функция f, определенная на условием

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

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985