и в цьому відношенні не знаходяться.
Розглянемо приклад бінарного відношення, певної на безлічі натуральних чисел, а саме ставлення, що описується словом В«більшеВ». Якщо розглядати це відношення як функцію від двох змінних X і Y (на безлічі натуральних чисел), приймаючу значення і або л в залежності від того, чи буде відповідне ставлення виконуватися чи ні, то ця функція визначає предикат, який позначимо через> (X, Y). Тоді маємо, наприклад,> (3, 2) = і ,> (1, 3) = л ,> (7, 5) = і і т. д. Більш повно і оглядатися двомісний предикати> (Х, Y). tabletable border=1 cellspacing=0 cellpadding=0>
1
2
3
4
5
...
1
л
і
і
і
і
...
2
л
л
і
і
і
...
3
л
л
л
і
і
...
4
л
л
л
л
і
...
5
л
л
л
л
л
...
...
...
...
...
...
...
...
Звичайно, зовсім неважко вказати в елементарній математиці приклади тримісних предикатів і предикатів від ще більшого числа аргументів. Так, тримісним предикатом є в геометрії відношення, що описується словом В«міжВ»: В«Точка Y лежить між точками X і Z В». У арифметиці добре відомі поняття найбільшого спільного дільника і найменшого спільного кратного двох цілих чисел: фраза В«Число d є найбільшим загальним дільником чисел а і b В»описує тримісний предикат. Тримісні пре-дікати на множині дійсних чисел задають дії додавання, віднімання, множення і ділення: X + Y = Z, X - У = Z, X • Y = Z, X: Y = Z....
