Let's prove that, if a set has size \(n\), then that same set has exactly \(2^n\) subsets.

I am excited to tell you that I *just* released the alpha version of my “Pydont's” book, a book that compiles all my “Pydon't” articles. You can get the book at leanpub: leanpub.com/pydonts.

Take a set of size \(n\). For any of its subsets, we can label items with \(0\)/\(1\) depending on whether or not the item is in the subset or not, and to any such labelling corresponds a single subset. There are \(2^n\) such labellings, hence \(2^n\) subsets.

Twitter proof:

— Mathspp (@mathsppblog) August 6, 2020

Take a set of size n. For any of its subsets, we can label items with 0/1 depending on whether or not the item is in the subset or not, and to any such labelling corresponds a single subset. There are 2^n such labellings, hence 2^n subsets.https://t.co/5uxKAi7D9T

If you liked this article and would like to support the mathspp project, then you may want to buy me a slice of pizza 🍕.