Define Adjunction.