Let and be Metric space. Map is nonexpansive if:

for all