GEOMETRY SURFACE

Definition An object is a <GEOMETRY SURFACE> if an only if: it is a <MANIFOLD PROJECTION>; it is locally of dimension 2 at each point; it is a <SUB METRIC SPACE>