principle specifying that the last number in a counting sequence specifies the number of items in a set.