  We study Sobolev type spaces defined in terms of sharp maximal functions on
Ahlfors regular subsets of the Euclidean space and the relation between these
spaces and traces of classical Sobolev spaces.
