Maximal monotone mapping