A Haar-type theory of best uniform approximation with constraints