--- title: "Countable and Uncountable Sets" description: "Compare infinite sets by pairing their elements. The rationals pair with the naturals; the reals do not, and the diagonal argument shows why." canonical: https://lightmysky.com/learn/mathematics/countable-and-uncountable-sets-mt_VTHPloNBbJ source: https://lightmysky.com/learn/mathematics/countable-and-uncountable-sets-mt_VTHPloNBbJ.md retrieved: 2026-09-12 --- > **Agent view.** This is the Markdown twin of the page, for tools and assistants. > When to use this site, and the call that answers each job: https://lightmysky.com/agent-instructions.md > API description (OpenAPI 3.1): https://lightmysky.com/openapi.json · Authentication: https://lightmysky.com/auth.md > Pricing: https://lightmysky.com/pricing.md · Catalog: https://lightmysky.com/llms.txt · Full catalog: https://lightmysky.com/llms-full.txt > Every machine-readable file on this domain: https://lightmysky.com/.well-known/ai-catalog.json > Ask for Markdown with `Accept: text/markdown`, a `.md` address, or `?mode=agent`. # Countable and Uncountable Sets Compare infinite sets by pairing their elements. The rationals pair with the naturals; the reals do not, and the diagonal argument shows why. Subject: Mathematics · Area: Mathematical Thinking · Ages 18 to 19 Page: https://lightmysky.com/learn/mathematics/countable-and-uncountable-sets-mt_VTHPloNBbJ ## Ready when they can - Build an explicit bijection showing a set is countable - Present the diagonal argument for the reals - Explain why a proper subset can pair with the whole set only for infinite sets ## Lesson: Pairing up infinite sets A set is countable when its members can be queued first, second, third and on. Integers queue in a zigzag through positives and negatives. The doubling rule n to 2n pairs every natural number with an even one: 7 pairs with 14. Rationals queue by snaking through a fraction grid and skipping repeats. A full hotel absorbs a newcomer by shifting every guest from room n to room n plus 1, so the guest in room 5 moves to room 6 and room 1 falls free. **Example.** Suppose someone lists every real number between 0 and 1. Build a new number that dodges each entry at one digit: differ from entry n in digit n. With r1 equal to 0.141, r2 equal to 0.718 and r3 equal to 0.502, add 1 to each diagonal digit to open 0.223. The dodger lies between 0 and 1 yet matches no entry, so the list was never complete. No surjection from the naturals onto the interval from 0 to 1 exists. **Tip.** A proper subset can pair perfectly with its whole set, but only for infinite sets. Evens pair with all naturals through doubling, while a finite set always shrinks when members leave. The power set of the naturals climbs higher still: any pairing attempt misses the subset of unpaired members. Listing is the certificate of countability, and diagonalisation defeats every claimed listing of the reals. **Recap.** Countable means listable, the diagonal number escapes every listing of the reals, and perfect pairing with a proper part marks an infinite set. ## Practice 18 questions on this page, each with its working shown. ## Needs first - [Statements, Quantifiers and Negation](https://lightmysky.com/learn/mathematics/statements-quantifiers-and-negation-mt_S5NvyPxEZ_) - [Equivalence Relations and Partitions](https://lightmysky.com/learn/mathematics/equivalence-relations-and-partitions-mt_wgEupYwEUF) - [Sets and Functions in the Language of Proof](https://lightmysky.com/learn/mathematics/sets-and-functions-in-the-language-of-proof-mt_XAcHX_3DVz) ## Opens up - [Sigma-Algebras and Measurable Sets](https://lightmysky.com/learn/mathematics/sigma-algebras-and-measurable-sets-mt_cpvegazufk) - [Open Problems as a Genre](https://lightmysky.com/learn/mathematics/open-problems-as-a-genre-mt_qBWcaUWG9J)