Si el conjunto de soluciones se puede especificar por un número finito de condiciones iniciales, entonces ese espacio es localmente una variedad diferenciable de dimensión finita, cosa que sucede frecuentemente con las ecuaciones diferenciales ordinarias.