Description: The counting measure is a measure on any power set. (Contributed by Thierry Arnoux, 24-Jan-2017)