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