\begin{definition}[Definition:Preordering/Preordered Set]
Let $S$ be a set.
Let $\precsim$ be a preordering on $S$.
Then the relational structure $\struct {S, \precsim}$ is called a '''preordered set'''.
\end{definition}