Definition:Increasing Mapping