transfinite induction noun1 •An extension of mathematical induction to well-ordered sets of transfinite cardinality, such as sets of ordinal numbers or cardinal numbers. formstransfinite inductions