Poset

Preorder

A preoder is a Poset without the property of antisymmetry, #m/def/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.

#state/tidy | #lang/en | #SemBr