Nonexpansive operator