Preorder

A Preorder is a concept from Category Theory. [^1]

Preorders follow two laws: [^1]

• Reflexivity - Each object in the underlying set is either greater than or equal to itself
• Transitivity - if a >= b and b >= c, then a >= c

If a preorder is symmetric, then it is a equivalence relation. Otherwise, it is a order. [^1]