預序

關係 "" 被稱為集合 上的預序（或準序），如果它滿足

1. 自反性： 對於所有 。

2. 傳遞性： 且 蘊含 。

一個同時具有反對稱性的預序是偏序。