预序关系

预序关系（简称预序，又称先序，preorder，quasi-order）、在数学中，是一类接近于偏序关系的二元关系，但仅满足自反性和传递性而不满足反对称性。偏序的大多数理论均可扩展到预序。考虑集合 P 及其上的二元关系 。若具有自反性和传递性，则称为预序。