Definition of "monotonic"