adjoint functor theorem (order theory)