Normed spaces using intrinsically Lipschitz sections and Extension Theorem for the intrinsically Hölder sections

The purpose of this article is twofold: first of all, we want to define two norms using the space of intrinsically Lipschitz sections. On the other hand, we want to generalize an Extension Theorem proved by the author in the context of the intrinsically Hölder sections with target a topological space $Y\mathrm{.}$ Here our target will be $Y\times {\mathbb{R}}^s$ with $s\ge 1$ instead of $Y\mathrm{.}$