Definition:Monotone Mapping