关系 "
" 被称为集合 
上的预序（或准序），如果它满足
1. 自反性：
对于所有 
。
2. 传递性：
且 
蕴含 
。
一个同时具有反对称性的预序是偏序。
预序
另请参阅
偏序, 全序本条目由 Michael Clarkson 贡献
使用 探索
参考文献
Harel, D.; Kozen, D.; and Tiuryn, J. Dynamic Logic. Cambridge, MA: MIT Press, p. 6, 2000.在 中被引用
预序请引用为
Clarkson, Michael. "Preorder." 来自 Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/Preorder.html