Solution

ID: past-exam-of-the-logic-and-set-theory-course-of-the-university-of-oxford/2007/b/7/iv/solution

Every strictly increasing sequence is in , whose cardinality is . This gives the upper bound.
For each binary sequence , define
Then , so the sequence is strictly increasing. Distinct binary sequences give distinct increasing sequences. This injects a set of size into the desired family, giving the matching lower bound. Hence
One may also identify an increasing sequence with its infinite range subset of ; the explicit binary coding establishes the lower bound without discarding finite subsets by cardinal subtraction.

New to topics? Read the docs here!