1: \begin{abstract}

2: We prove solvability theorems for relaxed one-sided Lipschitz multivalued mappings

3: in Hilbert spaces and for composed mappings in the Gelfand triple setting. 

4: From these theorems, we deduce properties of the inverses of such mappings and

5: convergence properties of a numerical scheme for the solution of algebraic inclusions.

6: \end{abstract}