A function f is strictly monotone if a < b implies f a < f b.