nLab
transfinite induction

Contents

Idea

induction over arbitrary well-ordered sets.

References