monotonic function

function between ordered sets that preserves or reverses the given order

increasing function
decreasing function
Order embedding
closure operator
1