Definition:Preordering/Preordered Set

Definition
A preordered set is a set $S$ endowed with a preorder $\precsim$.

This can be expressed as the relational structure $\left({S, \precsim}\right)$.