is zero. The backslash here denotes the set difference. Equivalently, the may be taken to be Lipschitz continuous without altering the definition. Other authors have different definitions, for example, not requiring to be -dimensional, but instead requiring that is a countable union of sets which are the image of a Lipschitz map from some bounded subset of .
A set is said to be purely -unrectifiable if for every (continuous, differentiable) , one has
A standard example of a purely-1-unrectifiable set in two dimensions is the cross-product of the Smith–Volterra–Cantor set times itself.
Rectifiable sets in metric spacesEdit
Federer (1969, pp. 251–252) gives the following terminology for m-rectifiable sets E in a general metric space X.
E is rectifiable when there exists a Lipschitz map for some bounded subset of onto .
E is countably rectifiable when E equals the union of a countable family of rectifiable sets.
E is countably rectifiable when is a measure on X and there is a countably rectifiable set F such that .
E is rectifiable when E is countably rectifiable and
E is purely unrectifiable when is a measure on X and E includes no rectifiable set F with .
Definition 3 with and comes closest to the above definition for subsets of Euclidean spaces.
^Simon 1984, p. 58, calls this definition "countably m-rectifiable".