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.
the mapping defining a surface it has to be injective, has derivative and its differential must have
rank equal to two.