偏序是什麼意思

一種特殊的二元關係

偏序（partially ordered set，簡稱poset）是一種特殊的二元關係，它定義在集合上。

在偏序集中，只有部分元素之間可以比較，這種關係滿足自反性、反對稱性和傳遞性。這意味著，如果元素A小於或等於B（寫作A≤B或B≤A），並且B也小於或等於C，那麼A也小於或等於C。如果對於集合中的每個元素，都存在另一個元素小於或等於它，那麼這個集合就構成一個偏序集。全序是偏序的一種特殊情況，其中任何兩個元素都可以比較，並且如果有元素A小於或等於B，那麼B也小於或等於A。