Induction base case mathematical notation

Induction base case is a recurring research-paper notation family. Establishes the first indexed proposition from which the inductive chain will begin.

Induction base case: Establishes the first indexed proposition from which the inductive chain will begin. Example: Verify the claim at the starting index.