Parent: order-theory
The core "relation-by-axioms" ladder — one concept per child, each with its own Hasse-style picture.
Children
- preorder — reflexive + transitive.
- partial-order — + antisymmetric (incomparability; Hasse diagrams).
- total-order — + total (a single chain).
- strict-order — the irreflexive
<form.