Thus monotonicity does not have to be included in the definition explicitly.
所以单调性不必须明确的包含在定义中。