Definition of Adjunction