Monotonicity: A function f(n) is monotonically increasing if mn implies f(m) ≤ f(n). Similarly, it is monotonically decreasing if mn implies f(m) ≥ f(n). A function f(n) is strictly increasing if m < n implies f(m) < f(n) and strictly decreasing if m < n implies f(m) > f(n).