Определение. Всякое антисимметричное и транзитивное бинарное отношение , называется отношением порядка на множестве М. Отношение порядка может быть рефлексивным, тогда оно называется отношением нестрогого порядка. Если отношение порядка антирефлексивно, оно называется отношением строгого порядка. Отношение порядка может быть полным бинарным отношением, тогда оно называется отношением линейного порядка. Отношение порядка может не обладать свойством полноты, тогда оно называется отношением частичного порядка. Отношение строгого порядка обозначим знаком <, нестрогого - £.
Отношение, обратное отношению порядка, также антисимметрично и транзитивно, в чем нетрудно убедиться. Обратное отношение будем обозначать знаками > и соответственно.
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет
studopedia.su - Студопедия (2013 - 2025) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление