Definition:Lower Adjoint