Definition:Counting Measure

The counting measure is a map taking a set to the number of elements it has. See Natural Numbers.