In mathematics, a rectifiable set is a set that is smooth in a certain measure-theoretic sense. It is an extension of the idea of a rectifiable curve to higher dimensions; loosely speaking, a rectifiable set is a rigorous formulation of a piece-wise smooth set. As such, it has many of the desirable properties of smooth manifolds, including tangent spaces that are defined almost everywhere. Rectifiable sets are the underlying object of study in geometric measure theory.

A Borel subset ${\displaystyle E}$ of Euclidean space ${\displaystyle \mathbb {R} ^{n}}$ is said to be ${\displaystyle m}$-rectifiable set if ${\displaystyle E}$ is of Hausdorff dimension ${\displaystyle m}$, and there exist a countable collection ${\displaystyle \{f_{i}\}}$ of continuously differentiable maps

${\displaystyle f_{i}:\mathbb {R} ^{m}\to \mathbb {R} ^{n}}$

such that the ${\displaystyle m}$-Hausdorff measure ${\displaystyle {\mathcal {H}}^{m}}$ of

${\displaystyle E\setminus \bigcup _{i=0}^{\infty }f_{i}\left(\mathbb {R} ^{m}\right)}$

is zero. The backslash here denotes the set difference. Equivalently, the ${\displaystyle f_{i}}$ may be taken to be Lipschitz continuous without altering the definition.^[1][2][3] Other authors have different definitions, for example, not requiring ${\displaystyle E}$ to be ${\displaystyle m}$-dimensional, but instead requiring that ${\displaystyle E}$ is a countable union of sets which are the image of a Lipschitz map from some bounded subset of ${\displaystyle \mathbb {R} ^{n}}$.^[4]

A set ${\displaystyle E}$ is said to be purely ${\displaystyle m}$-unrectifiable if for every (continuous, differentiable) ${\displaystyle f:\mathbb {R} ^{m}\to \mathbb {R} ^{n}}$, one has

${\displaystyle {\mathcal {H}}^{m}\left(E\cap f\left(\mathbb {R} ^{m}\right)\right)=0.}$

A standard example of a purely-1-unrectifiable set in two dimensions is the Cartesian product of the Smith–Volterra–Cantor set times itself.