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