Словарь по логике

Степень бинарного отношения

Результат (не Декартова) произведения бинарного отношения само на себя. Рекурсивное определение следующее: