En particular se puede definir una variedad de Riemann como un espacio métrico que es isométrico a una subvariedad diferenciable de R con la métrica intrínseca inducida.