1: \begin{definition}[\emph{part of a Dirichlet form}] \label{defpart} Let $(\mathcal{G}, D(\mathcal{G}))$ be an arbitrary regular Dirichlet form on some locally compact, separable metric space $X$, $m$ a positive Radon measure on $X$ with full topological support and $G$ an open subset of $X$. Then we define by $\mathcal{G}^G(f,g):=\mathcal{G}(f,g)$ for $f,g \in D(\mathcal{G}^G):= \{ f \in D(\mathcal{G}) | \ \tilde{f}=0 \ \mathcal{G}\text{-q.e. on } X \backslash G \}$ the \emph{part of the form $(\mathcal{G},D(\mathcal{G}))$ on $G$}, where $\tilde{f}$ denotes an $\mathcal{G}$-quasi-continuous version of $f$. Indeed, this defines a regular Dirichlet form on $L^2(G; m)$ (see \cite[Theorem 4.4.3]{FOT94}).

2: \end{definition}

3: