(This question is a variant of an unanswered question at [math.stackexchange](https://math.stackexchange.com/questions/1350331/justification-of-surface-area-integral).)


[The Definition section of Wikipedia's article on surface area](https://en.wikipedia.org/wiki/Surface_area#Definition) currently starts as follows:



> 
> While the areas of many simple surfaces have been known since antiquity, a rigorous mathematical definition of area requires a great deal of care. 
>  This should provide a function
>  $$S \mapsto A(S)$$
>  which assigns a positive real number to a certain class of surfaces that satisfies several natural requirements. The most fundamental property of the surface area is its additivity: the area of the whole is the sum of the areas of the parts. More rigorously, if a surface $S$ is a union of finitely many pieces $S\_1, \dots, S\_r$ which do not overlap except at their boundaries, then 
>  $$A(S) = A(S\_1) + \cdots + A(S\_r).$$
>  Surface areas of flat polygonal shapes must agree with their geometrically defined area. Since surface area is a geometric notion, areas of congruent surfaces must be the same and the area must depend only on the shape of the surface, but not on its position and orientation in space. This means that surface area is invariant under the group of Euclidean motions. These properties uniquely characterize surface area for a wide class of geometric surfaces called ''piecewise smooth''.
> 
> 
> 


It seems that not all the properties being hinted at are mentioned explicitly. 


Indeed, I can define the "constant-curvature surface area" of $S$ to be


*the supremum of the sums of surface areas of finitely many disjoint subsets of $S$, all of which have constant curvature,*


and it will satisfy all the mentioned properties. But the constant-curvature surface area of a general ellipsoid, say, will be zero. So:


**Which properties are missing in the Wiki article?**



Characterizing surface area
I would add some kind of monotonicity. 


Say if there is a distance nonexpanding map between surfaces $f\colon S\to S'$ then 
$$\mathop{\rm area} S\ge \mathop{\rm area} S'.$$


**P.S.** Instead of all distance nonexpanding maps one can take only orthogonal projections to planes.


