Definition:Increasing Function