La inducción transfinita es una extensión de la inducción matemática a (grandes) conjuntos bien ordenados, tales como conjuntos de ordinales o cardinales.