Implicit mapping theorem for extended metric regularity in metric spaces

In this paper we prove an extension of the contraction mapping principle for set-valued mappings stated by A.L. Dontchev and W.W. Hager dealing with more general assumptions containing modulus instead of pseudo-contractive multifunctions. Using this result we show that the update Graves theorem, in company with the stability of metric regularity under perturbations can be extended to a much broader framework of set-valued mappings acting in abstract spaces.