基本序关系

父节点：order-theory

这是一条按公理逐条累加的核心阶梯——每个子节点对应一个概念，各自配一张 Hasse 风格的图。

子节点

• preorder —— 自反 + 传递。
• partial-order —— 再加反对称（允许不可比；Hasse 图）。
• total-order —— 再加完全性（构成单一一条链）。
• strict-order —— 不自反的 < 形式。