"a"，"b" 和 "c"，下列性质成立：带预序的集合称为预序集合。同时满足反对称性（若 "a" formula_1 "b" 且 "b" formula_1 "a"，则 "a" = "b"）的预序为偏序。
说明.作为特例，空集上的空关系为一预序。空集加上空关系构成一预序集。
导出偏序.将预序集的等价元素等同起来，可得到由该预序集所导出的偏序集。具体过程如下：定义预序集 "X" 上的等价关系 formula_10，使得 "a" formula_10 "