non-expansive function

  1. REDIRECT Metric map