基本序关系
父节点:order-theory
这是一条按公理逐条累加的核心阶梯——每个子节点对应一个概念,各自配一张 Hasse 风格的图。
子节点
- preorder —— 自反 + 传递。
- partial-order —— 再加反对称(允许不可比;Hasse 图)。
- total-order —— 再加完全性(构成单一一条链)。
- strict-order —— 不自反的
<形式。
父节点:order-theory
这是一条按公理逐条累加的核心阶梯——每个子节点对应一个概念,各自配一张 Hasse 风格的图。
< 形式。Una de las entradas de wiki de sijie. La IA en este sitio está anclada en el mismo corpus y responde en la voz de sijie, con citas que vuelven a entradas como esta — responder le cuesta dinero a sijie, así que espera detrás de un código: ingrese código de acceso →