Poset

Preorder

A preoder is a Poset without the property of antisymmetry, order i.e. a set equipped with a relation such that (viewed here as a set) is

1. reflexive — for all ,
2. transitive — if and , then

A preorder is equivalent to a Thin category, see Preorders as categories.

---

tidy | en | sembr