semi-nonexpansive mapping