I think we could give more precise Sobolev spaces for certain restricted elements. In theory the original Sobolev space of the unrestricted element should be preserved, since the restriction only involves taking a subset of the DOFs. But maybe we want to express the fact that a function space restricted to the interior does not have shared DOFs across cells.
I think we could give more precise Sobolev spaces for certain restricted elements. In theory the original Sobolev space of the unrestricted element should be preserved, since the restriction only involves taking a subset of the DOFs. But maybe we want to express the fact that a function space restricted to the interior does not have shared DOFs across cells.