adjonction