For a differentiable function a necessary condition is that it is a stationary point.

In the case of a general partial order one should not confuse a least element (smaller than all other) and a minimal element (nothing is smaller).