enriched nonexpansive mapping