Un subconjunto de inducción es infinitamente descendiente.