一、定義和概念 Partial Order，又稱偏序關係，是一種在集合上定義的二元關係。在一個集合S上，偏序關係定義為一個從S x S到布爾值的函數R，它滿足自反性、反對稱性和傳遞…