定义预序集 "X" 上的等价关系 formula_10，使得 "a" formula_10 "b" 当且仅当 "a" formula_1 "b" 且 "b" formula_1 "a"。定义所得商集 formula_14（所有 formula_10 的等价类构成的集合）上的序关系 formula_16 ，使得["x"] formula_16 ["y"] 当且仅当 "x" formula_1 "y"。由 formula_10 的构造可知，formula_16 的定义与所选等价类的代表元素无关，故上述定义明确。