Definition:All Infima Preserving Mapping