预序关系（简称预序，又称先序，preorder）、在数学中，是一类接近于偏序关系的二元关系，但仅满足自反性和传递性而不满足反对称性。偏序的大多数理论均可扩展到预序。
定义.考虑集合 "P" 及其上的二元关系formula_1。若 formula_1 具有自反性和传递性，则称 formula_1 为预序。具体来说，对任意 "P" 的元素 "a"，"b" 和 "c"，下列性质成立：带预序的集合称为预序集合。同时满足反对称性（若 "a" formula_1 "b" 且 "b" fo