Preorder
A preoder is a Poset without the property of antisymmetry, order
i.e. a set equipped with a relation
- reflexive β for all
π β π ( π , π ) β π - transitive β if
( π , π ) β π ( π , π ) β π ( π , π ) β π
A preorder is equivalent to a Thin category, see Preorders as categories.