Definition:Upper Adjoint