ordering

#stub

Primitive relations:

• transitive relation
• connected relation
• reflexive / irreflexive relation
• symmetric / antisymmetric relation

Derivative relations:

• asymmetric relation (antisymmetric and irreflexive)
• strongly connected relation (connected and reflexive)
• trichotomous relation (connected and asymmetric)

Orderings:

• preorder (transitive and reflexive)
• equivalence relation (symmetric preorder)
• partial order (antisymmetric preorder)
• weak order ((strongly) connected preorder)
• total order (connected partial order / antisymmetric weak order)
• well-order (total order with least element)