Category Theory/Categories of ordered sets

Directly from the definitions, we have: