The non-classical interpolation by analytic functions smooth up to the boundary

Let $E$ be a closed subset of the unit circle $\mathbb T$. Necessary and sufficient conditions are found for validity of inclusion $X|_E\subset Y|_E$, $X$ being a Carleman class on $\mathbb T$ and $Y$ being an analytic Carleman or Hölder class.