noun Mathematics. a law in
set theory
which states that if a set is a subset of the set of all positive
integers and contains 1, and if for each number in the given set the succeeding natural number is in the set, then the given set is identical to the set of all positive integers. Compare
induction ( def 5 ).