A surface in an ambient space X, in stricly meaning, is a mapping from a open connected set of the 2D-euclidean space into X.
This concept is better grasped thinking in the last layer of a three dimensional body.
Technicaly[]
the mapping defining a surface it has to be injective, has derivative and its differential must have rank equal to two.
Examples[]
