ગણનાપાત્ર સમૂહનો કોઈપણ ઉપગણ પણ ગણનાપાત્ર છે.