Estas definiciones se requieren en el Teorema de Picard-Lindelöf y en resultados relacionados con él.