it is reflexive and transitive; that is, if it satisfies:
#Reflexivity: for all and
#Transitivity: if for all

A set that is equipped with a preorder is called a preordered set (or proset).

Preorders as partial orders on partitions

Given a preorder on one may define an equivalence relation