The notion of rectifiable set is a key one in calculus of variations and in geometric measure theory. To develop a satisfactory theory of rectifiable
sets inside Carnot groups has been the object of much research in the last years. For a general theory of rectifiable sets in euclidean spaces one can see [1]}, [2]}, [3]} while a general theory in metric spaces can be found in [4]}.
