偏序集

設R為非空集合A上的關係，如果R是自反的、反對稱的和傳遞的，則稱R為A上的偏序關係，簡稱偏序，通常記作≦。

一個集合A與A上的偏序關係R一起叫作偏序集，記作或。

（自反性）對任一

，則x≦x;

（反對稱性）如果x≦y,且y≦x,則x=y;

（傳遞性）如果x≦y,且y≦c ,則x≦c.