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