n-местным отношением R на множествах называется подмножество прямого произведения .
Если множества совпадают, то говорят что задаёт n-арные отношения.
При n = 2 отношение называется бинарным.
Далее будем рассматривать только бинарные отношения определенные на А.
Отношение может быть записано в виде R(a, b) или aRb.
Так же используется обозначение
Для любого множества А определены отношения:
Тождественное отношение .
Универсальное отношение .