Definition:Mathematical Induction/Terminology