 Firmly nonexpansive mapping

A mapping $T$ on an inner product space is firmly nonexpansive whenEvery firmly nonexpansive mapping is nonexpansive, and the resolvent of a maximal monotone operator is firmly nonexpansive.