double counting
technique for proving that two expressions are equal by showing that they both count the size of the same set
en-US/ˈdʌbəl ˈkaʊntɪŋ/
en-GB/ˈdʌbl ˈkaʊntɪŋ/
technique for proving that two expressions are equal by showing that they both count the size of the same set