Non-expansive function

Redirect to:

• Metric map