Restriction of Monotone Function is Monotone

Theorem
The restriction of a monotone mapping is monotone.

Proof
A restriction does not introduce any new arguments.

Hence the result follows trivially from the definition of monotone mapping.

Also see

 * Monotonicity of Real Sequences