Hasta el momento hemos utilizado la inducción para establecer resultados sobre todos los números naturales. Pero un principio correspondiente se puede usar directamente para probar resultados sobre to...Hasta el momento hemos utilizado la inducción para establecer resultados sobre todos los números naturales. Pero un principio correspondiente se puede usar directamente para probar resultados sobre todos los elementos de un conjunto definido inductivamente. Esto a menudo se llama inducción estructural, porque depende de la estructura de los objetos definidos inductivamente.
