Бинарные отношения определенные на множестве

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

Бинарное отношение Р называется рефлексивным, если для элемент , если (а,а) . Р то антирефлексивным..

Бинарное отношение называется транзитивным, если из того, что

Бинарное отношение Р называется симметричным, если из того, что

Бинарное отношение Р называется антисимметричным, если из того, что