\begin{definition}[Definition:Partially Ordered Set]
A '''partially ordered set''' is a relational structure $\struct {S, \preceq}$ such that $\preceq$ is a partial ordering.
The '''partially ordered set''' $\struct {S, \preceq}$ is said to be '''partially ordered by $\preceq$'''.
\end{definition}