Let and be Metric Space.
Map is nonexpansive if:

for all