A theorem on partially ordered sets of order-preserving mappings