Counting Subsets of a Finite Set and Power Sets. (Intro To Math Structures Ex1.2.2)

Counting subsets of a finite set is a great problem for motivating power sets when you're first learning about different set relations. The proof which shows how many subsets in a finite gives an explicit counting method and formula, and its a fairly short argument!