The linear interface

No surjectivity of $r$ is assumed. A distribution on an open subset need not extend across its boundary; an explicit example appears in Proposition prop:nonextendable.

For distributions,

Indeed, zero restriction is equivalent to vanishing on all tests supported in $O$.