\begin{definition}[Definition:Category of Ordered Sets]
The '''category of ordered sets''', denoted $\mathbf{OrdSet}$, is the metacategory with:
{{DefineCategory
| ob = ordered sets
| mor = increasing mappings
| comp = composition of mappings
| id = identity mappings
}}
\end{definition}