Inducción Noetheriana

Una técnica de demostración que establece una propiedad para todos los elementos de un conjunto parcialmente ordenado que satisface la condición de cadena ascendente (noetheriano): se asume la existencia de un contraejemplo, se elige un contraejemplo mínimo respecto al orden y se obtiene una contradicción reduciendo a elementos estrictamente menores.

Una forma de inducción bien fundada aplicable a conjuntos parcialmente ordenados noetherianos: para demostrar que una propiedad P se cumple para todos los elementos, se asume que P vale para todos los elementos estrictamente menores y se deduce P para un elemento arbitrario, apoyándose en la ausencia de cadenas estrictamente decrecientes infinitas.