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

Existem outros casos especiais de indução bem-fundada. Quando a relação bem-fundada é ordenação usual na classe de todos os [[números ordinais]], a técnica é chamada de [[Indução matemática|indução transfinita]]; quando o conjunto bem-fundado é um conjunto de estruturas de dados recursivamente definidas, 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 é pertinência de conjuntos na na classe universal, a técnica é conhecida como ∈ - [[indução]].