1: \begin{definition}\label{E0}Let us denote  by $\mathring E_{\Omega_0}$ the operator of extension of functions $g\in H^s(\Omega_0)$, $s\ge 0$, to the whole $\R^n$  by zero outside $\Omega_0$. 

2: By, e.g., \cite[Lemma 3.32 and Theorem 3.33]{McLean2000}, see also \cite[Theorem 2.7]{MikJMAA2011}, the operator $\mathring E_{\Omega_0}: H^s(\Omega_0)\to\widetilde H^s(\Omega_0)$ is continuous if $0\le s<\ha$ and we will extend it also to the range $-\ha< s<\ha$ defining it for $-\ha<s<0$ as, cf. the proof of \cite[Theorem 2.16]{MikJMAA2011},

3: \begin{align}\label{E0s}

4: \langle \mathring E_{\Omega_0} g,v\rangle_{\Omega_0}:=\langle  g,\mathring E_{\Omega_0} v\rangle_{\Omega_0},\quad

5: \forall g\in H^s(\Omega),\ \forall v\in H^{-s}(\Omega).

6: \end{align}

7: \end{definition}