Let f: A -> B, where A and B are totally ordered. Then f is said to be monotonically increasing if, whenever a1 \in A < a2 \in A, f(a1) <= f(a2). If the inequality is strict, f is said to be strictly monotonically increasing.