偏序結構表示

偏序結構的表示(representation of a partiallyordered structure)偏序結構與某一集族之間的同構映射.任何一個偏序結構}l= (A,R)，都存在一個集族}cP (A>，使得}l與<J獷，里>同構.這個同構映射f稱為o}的一個表示.事實上，取J獷為A中每個元素的前節PS<a>的集合，令

f ; A->},a->PS <a).

f就是一個同構(它是雙射並且aRb時).例如，哈塞圖1表示的偏序結構的同構象是哈塞圖2表示的偏序結構.