So I was wondering, is there a name for a function whose output is always less than or equal to its input ($f(x)≤x$)? I know there is a name for functions that satisfy $x_1<x_2\rightarrow f(x_1)<f(x_2)$ (monotonic) so I figured there would be a name for $f(x)≤x$. Does anyone know what it is? A good example of this would be the greatest integer function $\lfloor x\rfloor$. Thank you.