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