(Mathematical): an arbitrary number, generally an integer. Used often in inductive proofs.