§ 4. Бинарные отношения

Фундаментальным понятием дискретной математики является понятие отношения, которое используют для обозначения связи между объектами или понятиями. Наиболее часто встречающимися и хорошо изученными являются бинарные (или двухместные) отношения.

Бинарным отношением R в множестве М называется подмножество его квадрата : , где .

Два элемента находятся в отношении R , если , - двухэлементный кортеж.