transfinite induction

method of proving that a certain property applies for all elements in a well-founded set