Inducción Bien Fundada

El principio de que si una relación R en un conjunto es bien fundada (no existen cadenas R-descendentes infinitas) y cada elemento x posee una propiedad siempre que todos los elementos R-menores la tengan, entonces todos los elementos poseen esa propiedad; generaliza la inducción ordinaria en los naturales a órdenes bien fundados arbitrarios.