Source : Free On-Line Dictionary of Computing

transfinite induction
     
         {Induction} over some (typically large)
        {ordinal}.
     
        (1995-03-30)