We define relations (graphs of operators), define Monotone and Maximally Monotone, and define the Resolvent and the Cayley operators. We show that for monotone relations, the Cayley operator is non-expansive, and hence the Resolvent is firmly non-expansive.
