Relação bem-fundada: diferenças entre revisões

Existem outros casos especiais de indução bem-fundada. Quando a relação bem-fundada é ordenadaordenação numausual na classe de todos os [[números ordinais]], a técnica é chamada de [[indução transfinita]]; quando o conjunto bem-fundado é um conjunto de estruturaestruturas de dados recursivamente definidadefinidas, a técnica é chamada de [[indução estrutural]] (método de demonstração em que a proposição vale para todas as estruturas minimais, e que se valer para as subestruturas de uma determinada estrutura ''S'', então deverá valer para ''S'' também.). Quando a relação bem-fundada é um elementopertinência de um conjuntoconjuntos numana na classe universal, a técnica é conhecida como ∈ - [[indução]].