Text this: Definition of an increasing function