# 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.

$\blacksquare$