Определение. n-местным отношением Р или предикатом на множествах называется произвольное подмножество декартового произведения .

n-местным отношением Р или предикатом на множествах называется произвольное подмножество декартового произведения .

То есть элементы , где связаны отношением Р тогда и только тогда, когда .

Если n=1, то отношение называется свойством, если n=2, то отношение называется бинарным.

Отношения пронизывают всю нашу жизнь. Отношения между людьми, предметами цифрами. Рассмотрим примеры.

Отношения между людьми

Пусть А – множество женщин, живущих в доме Х,

В - множество мужчин, живущих в доме Х,

Зададим на этих множествах отношение состоять в браке

отношение Р является подмножеством всех возможных пар мужчин и женщин, живущих в доме, то есть . Это отношение естественными образом задается таблицей