Definition:Order-Preserving Mapping