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

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

Если множества совпадают, то говорят что задаёт n-арные отношения.

При n = 2 отношение называется бинарным.

Далее будем рассматривать только бинарные отношения определенные на А.

Отношение может быть записано в виде R(a, b) или aRb.

Так же используется обозначение

Для любого множества А определены отношения:

Тождественное отношение .

Универсальное отношение .