Отношение, наделенное свойствами транзитивности и антирефлексивности (следствиями этих двух свойств являются также асимметричность и антисимметричность), называют отношением строгого порядка и обозначают символом <. Свойство антирефлексивности означает, что элемент множества не может сравниваться сам с собой (как в случае строгого неравенства или строгого включения). В отличие от него введенное в (5.1) отношение называют нестрогим порядком. Между отношениями строгого и нестрогого порядка имеют место соотношения: , где Е — тождественное отношение.
studopediasu.com - Студопедия (2013 - 2026) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление