预序关系（简称预序，又称先序，preorder）、在数学中，是一类接近于偏序关系的二元关系，但仅满足自反性和传递性而不满足反对称性。偏序的大多数理论均可扩展到预序。

考虑集合 P 及其上的二元关系 。若 具有自反性和传递性，则称 为预序。具体来说，对任意 P 的元素 a，b 和 c，下列性质成立：

a a (自反性)

若 a b 且 b c，则 a c (传递性)

带预序的集合称为预序集合。同时满足反对称性（若 a b 且 b a，则 a = b）的预序为偏序。

In mathematics, especially in order theory, a preorder or quasiorder is a binary relation that is reflexive and transitive. Preorders are more general than equivalence relations and (non-strict) partial orders, both of which are special cases of a preorder.