Fundovaná indukce

Věta o fundované indukci může být vyslovena například takto:

Nechť binární relace R je úzká a fundovaná na třídě A a nechť ${\displaystyle X\subseteq A}$ je taková, že ${\displaystyle \{x;xRy\}\subseteq X\rightarrow y\in X}$ pro všechna ${\displaystyle y\in A}$. Pak X=A.

• Je-li ${\displaystyle R=\in }$ a ${\displaystyle A=\mathbf {On} }$, říká věta o fundované indukci přesně totéž, co věta o transfinitní indukci.

• Matematická indukce
• Transfinitní indukce
• Fundovaná rekurze
• Fundovaná relace