Пусть М – некоторое множество. М2=М×М – декартово произведение (т.е. множество упорядоченных пар из М). Всякое подмножество из М2 называется бинарным отношением определенным на М.
Бинарное отношение Р называется рефлексивным, если для элемент , если (а,а) . Р то антирефлексивным..
Бинарное отношение называется транзитивным, если из того, что
Бинарное отношение Р называется симметричным, если из того, что
Бинарное отношение Р называется антисимметричным, если из того, что