基本序关系
父节点：order-theory
这是一条按公理逐条累加的核心阶梯——每个子节点对应一个概念，各自配一张 Hasse 风格的图。
子节点
- preorder —— 自反 + 传递。
- partial-order —— 再加反对称（允许不可比；Hasse 图）。
- total-order —— 再加完全性（构成单一一条链）。
- strict-order —— 不自反的
<形式。
basic-orders
about this entry
One of sijie's wiki entries. The AI on this site is grounded in the same corpus and answers in sijie's voice, with citations back to entries like this one — answering costs sijie money, so it waits behind a code: enter an access code →