Category of preordered sets

In mathematics, the category PreOrd has preordered sets as objects and order-preserving functions as morphisms. This is a category because the composition of two order-preserving functions is order preserving and the identity map is order preserving.