The system ([0, 1], max, min) has a number of well-known applications,
many of which involve the inversion of linear relations. We show the
advantage of residuation theory for this process and apply it to the a
nalysis of the problem of Chebychev approximation.