Aquí, "no degenerada" significa que para cada vector distinto de cero "u" en el espacio tangente en un punto, hay un vector "v" tal que