If f is a mapping from an open
k-cube in Rk into Rn, 2 ≦ k ≦ n, whose coordinate functions belong to
appropriate Sobolev spaces, then the area of f is the integral with respect to k
dimensional Hausdorff measure over Rn of a nonnegative integer valued multiplicity
function.