6 Cardinals

In this chapter, we will look at the “sizes” of (infinite) sets (finite sets are

boring!). We work in ZFC, since things become really weird without Choice.

Since we will talk about bijections a lot, we will have the following notation:

Notation. Write x ↔ y for ∃f : f is a bijection from x to y.