But this just shows that  f ∗ preserves the order of any two elements, i.e. it is monotone.
但是这只证明了f ∗保持了任何两个元素的次序，就是说它是单调的。