Restriction of Monotone Function is Monotone

From ProofWiki
Jump to navigation Jump to search

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.

$\blacksquare$


Also see