(numeration system) the positive integer that is equivalent to one in the next higher counting place