Adjunction definition complete