I've just realized that the last question is not the one I need an answer to. I wanted to ask whether a composition of functions that satisfy the negation of this property also does. That is, if are functions and there are two well-orders on such that and are both non decreasing, then is there a well-order on such that is non-decreasing?