 Sobolev space with a partial Dirichlet condition

For a boundary portion ${\Gamma }_D\subseteq \partial U$, the spaceis the kernel of the restricted trace map, hence a closed vector subspace of $H^1(U)$.