You've used numbers your whole life without needing a name for which kind of number you were using. This section gives you those names. With \in and \subset already in hand from two sections ago, we can now state precisely how the families relate, instead of just gesturing at "different kinds of numbers."
Think of the number families like Russian nesting dolls. Now you have the vocabulary to describe how they nest. \mathbb{N} \subset \mathbb{Z} means "every counting number is also an integer": the small doll fits entirely inside the next one up.
The smallest doll is the counting numbers \mathbb{N} (1, 2, 3, …), what you'd use to count sheep. Open the next doll and you also get zero and negatives (the integers \mathbb{Z}), what you'd use for temperatures or bank balances. The next doll adds every fraction (the rationals \mathbb{Q}). Cutting a pizza into 8 slices and taking 3 gives you \frac{3}{8}, a perfectly good number that isn't an integer. Note that 3 \in \mathbb{Q} too, since 3 = \frac{3}{1}.
The biggest doll is the real numbers \mathbb{R}, and here's the surprise. Between the fractions hide numbers that no fraction, however precise, can ever equal. Write their decimals and they run forever without ever settling into a repeating pattern. Those are the irrationals: "irrational" not because they're crazy, but because they're not a ratio.
Notice something else about how these dolls nest. Each one is a genuine subset, not a relabeling. \mathbb{N} \subset \mathbb{Z} doesn't mean "counting numbers and integers are secretly the same thing wearing different names." It means every counting number happens to also qualify as an integer, while the integers add brand-new members (zero, negatives) that no counting number could ever be. The nesting dolls picture only works because each bigger doll keeps everything the smaller one had and adds something genuinely new.
The real numbers \mathbb{R} contain several nested families:
- Natural numbers \mathbb{N} = \{1, 2, 3, \dots\}: the counting numbers.
- Integers \mathbb{Z} = \{\dots, -2, -1, 0, 1, 2, \dots\}: naturals, their negatives, and zero.
- Rational numbers \mathbb{Q}: every number expressible as a ratio \frac{p}{q} of integers with q \neq 0. Their decimal expansions terminate or repeat.
- Irrational numbers: reals that are not rational, such as \sqrt{2} and \pi. Their decimal expansions never terminate and never repeat.
Every real number is either rational or irrational, and \mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}.
Theorem
Nesting of the Number Families
Every natural number n has no fractional part and no negative sign, so it's also an integer: \mathbb{N} \subset \mathbb{Z}. Every integer n can be written as the ratio \frac{n}{1} of two integers, which is exactly the definition of rational: \mathbb{Z} \subset \mathbb{Q}. Every rational number is, by definition, a real number (the rationals are one of the two pieces — rational and irrational — that together make up \mathbb{R}): \mathbb{Q} \subset \mathbb{R}. Chaining all three containments gives \mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}.
Worked example
Classify four numbers, most specific family first
-
1
Sort -8, \frac{5}{2}, \sqrt{16}, and \sqrt{7} into the most specific family each one belongs to.
-
2
-8 has no fractional part, and it's negative, so it's not a counting number. But it IS a whole number with a sign, so it's an integer: -8 \in \mathbb{Z}. (It's also rational, since -8 = \frac{-8}{1}, but "integer" is the more specific, more useful answer.)
-
3
\frac{5}{2} = 2.5: a ratio of two integers that doesn't land on a whole number. Not an integer, but a perfectly good rational number: \frac{5}{2} \in \mathbb{Q}.
-
4
\sqrt{16} looks irrational because of the radical symbol, but \sqrt{16} = 4 exactly, a whole positive number. It's a natural number: \sqrt{16} \in \mathbb{N}. Meanwhile \sqrt{7} has no such shortcut: 7 isn't a perfect square, so \sqrt{7}'s decimal runs forever with no pattern, and it's irrational.
-
5
The lesson buried in this example: never classify a number by how it's dressed (a radical symbol, a fraction bar). Classify it by what it equals once simplified. A radical can simplify all the way down to a natural number; a fraction can simplify all the way down to an integer.
Classify by value, not by disguise
Every card below is a number wearing some kind of disguise — a radical, a fraction, a decimal. Sort each one into its most specific family by what it actually equals once simplified, not by how it's written.
Loading interactive…
Right on try — credit. Right — the answer had already been shown, so no credit this time. Next try is worth Answer shown after three tries — this one no longer earns credit. You chose to see the answer — this one earns no credit.
What this task checks
Structure checked automatically. Whether your ideas are convincing isn't graded, so reread with the checklist.
The compiler says
A model answer
Correct answer
Also accepted:
Why
Why
Common mix-up: "square root" does not mean "irrational"
The radical symbol is just a question: "what number, squared, gives me this?" It's not an announcement that the answer is going to be messy. Sometimes the question has a clean whole-number answer (\sqrt{25} = 5, because 5^2 = 25). Sometimes it doesn't (\sqrt{26} has no whole-number answer, because no integer squared equals 26; it's stuck between 5^2=25 and 6^2=36). The symbol looks identical either way. Only the number underneath it determines whether you get a tidy integer or an endless, non-repeating decimal. Before assuming "radical means irrational," always check: is there a whole number that, squared, equals this one?
A quick mental list of the perfect squares worth memorizing makes this check nearly instant: 1, 4, 9, 16, 25, 36, 49, 64, 81, 100, the squares of 1 through 10. Any number under a radical that appears on this list simplifies to a whole number. Anything else (7, 12, 20, 26, and so on, endlessly) stays irrational. Spend two minutes now committing that short list to memory, and you'll never again have to pause and wonder whether a given \sqrt{n} is hiding a whole number.
It is a common but false generalization that every number written with a radical (\sqrt{\phantom{x}}) is irrational. Whether \sqrt{n} is rational or irrational depends entirely on whether n is a perfect square (the square of an integer). If n is a perfect square, \sqrt{n} is a natural number; otherwise, \sqrt{n} is irrational.
Formula
The Perfect-Square Test for \sqrt{n}
For a positive integer n: \sqrt{n} \in \mathbb{N} \iff n \text{ is a perfect square} \qquad \text{otherwise } \sqrt{n} \text{ is irrational}
Worked example
Numbers from every family can sit side by side on one line
-
1
Order -3, \sqrt{2}, \frac{5}{2}, and -1.5 from smallest to largest — one integer, one irrational, one rational fraction, one rational decimal, all sharing the same number line.
-
2
Convert everything to a decimal so they're easy to compare directly: -3 stays -3; \sqrt{2} \approx 1.41; \frac{5}{2} = 2.5; -1.5 stays -1.5.
-
3
Now it's a plain ordering problem: -3 is the smallest (most negative), then -1.5, then \sqrt{2} \approx 1.41, then \frac{5}{2} = 2.5 largest.
-
4-3 < -1.5 < \sqrt{2} < \frac{5}{2}
The point of this example: which family a number belongs to has nothing to do with where it sits on the line. Every family (naturals, integers, rationals, irrationals) is just scattered across \mathbb{R}, one continuous, unbroken line, interleaved together. There's no "irrational neighborhood" separate from the "rational neighborhood"; between any two rationals you can always find an irrational, and vice versa.
Every family, one shared line — Notice these four points interleave — an integer, an irrational, and two rationals, with no separate 'neighborhood' for each family.
Loading interactive…
A number that doesn't belong to any of these families at all
One honest preview, so a later surprise doesn't feel like a contradiction: every family in this section (natural, integer, rational, irrational) lives inside \mathbb{R}, the real numbers. But \sqrt{-4} isn't in \mathbb{R} at all. No real number, positive or negative, squares to a negative result. A negative times a negative is positive, and a positive times a positive is positive, so there's no way to land on -4. This isn't a gap in your knowledge; it's a genuine boundary of what "real number" covers. Later in this course you'll meet a bigger number system that does have an answer for \sqrt{-4}. But for now, and for the whole first stretch of this course, if a calculation asks for the square root of a negative number, the honest answer is "no real number does this," full stop. It's not "some number I haven't learned yet."
Meet π — the most famous irrational number
You've almost certainly used \pi (pi) before, probably as "3.14," without anyone explaining what it is. Here's the honest definition:
Take any circle you like: a coin, a hula hoop, a pizza. Measure the distance around the outside edge (the circumference). Then measure straight across through the middle (the diameter). Divide the first by the second. You get 3.14159…, every single time, no matter how big or small the circle was. That's genuinely strange if you think about it. A huge circle and a tiny circle, and yet the same number falls out of that division for both. \pi isn't an arbitrary decimal someone picked. It's a fact about circles themselves, baked into the geometry, and it shows up constantly anywhere circles or rotation do, which, once you notice, is almost everywhere.
"3.14" is a rounding, the same way "about a foot" is a rounding of a specific measurement: close enough for a quick estimate, not the exact value. The exact value can't be written as a finite decimal at all, ever, by anyone, because it isn't a ratio of two integers, which is precisely what "irrational" means.
\pi is defined as the ratio of any circle's circumference to its diameter: \pi = \frac{\text{circumference}}{\text{diameter}} This ratio is the same for every circle, regardless of size: a bottle cap and a planet's equator give the identical value. And \pi itself is irrational: its decimal expansion, 3.14159265\ldots, never terminates and never repeats, so "3.14" is only an approximation, accurate to two decimal places.
Why every repeating decimal is secretly a fraction
A claim from the technical definition deserves proof, not just trust: rational numbers' "decimal expansions terminate or repeat." Here's why a repeating decimal always hides a fraction underneath.
Worked example
Turning a repeating decimal into a fraction
-
1
Convert 0.\overline{7} (the digit 7, repeating forever: 0.7777\ldots) into a fraction, proving it's rational.
-
2
Let x = 0.7777\ldots. Multiply both sides by 10 (shifting the decimal one place): 10x = 7.7777\ldots
-
3
Subtract the original equation from this new one: the infinite repeating tail lines up and cancels completely: 10x - x = 7.7777\ldots - 0.7777\ldots 9x = 7
-
4
Divide both sides by 9: x = \frac{7}{9}. A ratio of two integers (the very definition of rational) recovered from a decimal that looked like it might run forever without end. This trick works on any repeating decimal, which is why "repeats" and "rational" are two descriptions of the same fact, not a coincidence.
Irrational numbers show up more than you'd expect
\pi is the famous one, but it's far from alone. The diagonal of a simple 1-by-1 square is \sqrt{2}, which is irrational: there is no fraction, no matter how complicated, that equals that diagonal's length in the same units as the sides. This single fact reportedly unsettled the ancient Greek mathematicians who first proved it, since they'd assumed every length must be expressible as a ratio. The golden ratio, \frac{1+\sqrt{5}}{2} \approx 1.618, shows up in art, architecture, and spiral patterns in nature, and it's irrational too. Even something as ordinary as a 30-60-90 triangle's side lengths typically involves \sqrt{3}. Irrational numbers aren't a rare curiosity cooked up to make homework harder. Once you know to look for them, they're a routine feature of ordinary geometry.
Worked example
Where the diagonal's \sqrt{2} comes from
-
1
Find the length of the diagonal of a 1-by-1 square, and confirm it's irrational rather than just taking that on faith.
-
2
The diagonal cuts the square into two right triangles, with legs 1 and 1. The Pythagorean theorem gives the diagonal d: d^2 = 1^2 + 1^2 = 2, so d = \sqrt{2}.
-
3
Check whether 2 is a perfect square, using the same test from earlier in this section. It sits between 1^2=1 and 2^2=4, with no integer squaring to 2. So \sqrt{2} is irrational.
-
4
The diagonal is a perfectly real, measurable length, a bit less than 1.5 units — you could draw it with a ruler right now. It's just that no fraction, however complicated, lands on it exactly. That's the gap between "irrational" and "doesn't exist," and it's what unsettled the mathematicians who first proved it.
Check your understanding (counts toward your progress)
What is the narrowest classification of \dfrac{106}{17}?
Right on try — credit. Right — the answer had already been shown, so no credit this time. Next try is worth Answer shown after three tries — this one no longer earns credit. You chose to see the answer — this one earns no credit.
Why
\dfrac{106}{17} is a ratio of integers that doesn't reduce to a whole number, so it's rational but not an integer.
Convert 0.\overline{18} (the block "18" repeating) to a fraction \frac{p}{q} in lowest terms, and enter q.
Right on try — credit. Right — the answer had already been shown, so no credit this time. Next try is worth Answer shown after three tries — this one no longer earns credit. You chose to see the answer — this one earns no credit.
Why
Setting x=0.181818\ldots, 100x-x=18 gives 99x=18, so x=\frac{18}{99}=\frac{2}{11} in lowest terms — q=11.
Correct answer
Also accepted:
Why
Shift by two places (multiply by 100) this time, since the repeating block has two digits, then subtract and reduce.
What is the smallest perfect square greater than 50? (Enter the perfect square itself, not its square root.)
Right on try — credit. Right — the answer had already been shown, so no credit this time. Next try is worth Answer shown after three tries — this one no longer earns credit. You chose to see the answer — this one earns no credit.
Why
The perfect squares near 50 are 49 = 7^2 and 64 = 8^2. Since 49 < 50, the smallest perfect square greater than 50 is 64.
Correct answer
Also accepted:
Why
List the perfect squares near 50 (from 7^2 and 8^2) and check which one first exceeds 50.
Practice: Classifying, ordering, and proving numbers rational (7 problems · doesn’t affect your progress)
True or false: every integer is also a rational number.
Right on try — credit. Right — the answer had already been shown, so no credit this time. Next try is worth Answer shown after three tries — this one no longer earns credit. You chose to see the answer — this one earns no credit.
Any integer n can be written as \frac{n}{1} — a ratio of integers, so it qualifies as rational by definition.
Why
The number families nest: every integer n equals \frac{n}{1}, a ratio of two integers — which is exactly the definition of rational. In symbols: \mathbb{Z} \subset \mathbb{Q}.
True
Which family does -\frac{9}{3} belong to, most specifically?
Right on try — credit. Right — the answer had already been shown, so no credit this time. Next try is worth Answer shown after three tries — this one no longer earns credit. You chose to see the answer — this one earns no credit.
Natural numbers are positive counting numbers only — -3 is negative, so it can't be natural.
-\frac{9}{3}=-3 simplifies exactly to a whole number — nothing irrational about it.
-3 is an ordinary real number.
Why
-\frac{9}{3}=-3 exactly — a whole number with a negative sign, so it's an integer (not natural, since natural numbers here start at 1).
Integers
A student assumes every number written with a radical must be irrational. What's the counterexample that disproves this?
Right on try — credit. Right — the answer had already been shown, so no credit this time. Next try is worth Answer shown after three tries — this one no longer earns credit. You chose to see the answer — this one earns no credit.
This actually supports the (false) generalization rather than disproving it — a counterexample needs to be a radical that ISN'T irrational.
\pi doesn't even involve a radical symbol, and it's irrational anyway — this doesn't address the claim about radicals at all.
The assumption is false in general — whether \sqrt{n} is irrational depends on whether n is a perfect square.
Why
25 is a perfect square (5^2=25), so \sqrt{25}=5 exactly — a natural number, not an irrational one. This single example disproves "every radical is irrational."
Look for a number under a radical that happens to be a perfect square.
\sqrt{25} = 5, a whole number, disproving the assumption
Order these from smallest to largest: -4, \sqrt{3}, \frac{7}{2}, -2.5.
Right on try — credit. Right — the answer had already been shown, so no credit this time. Next try is worth Answer shown after three tries — this one no longer earns credit. You chose to see the answer — this one earns no credit.
-4 is farther left (more negative) than -2.5 on the number line — -4 is smaller, so it should come first.
\sqrt{3} \approx 1.73 is a positive number — it can't be smaller than negative numbers like -4 or -2.5.
\frac{7}{2}=3.5 is larger than \sqrt{3}\approx1.73, so their order here is swapped.
Why
Converting to decimals makes comparison easy: -4, -2.5, \sqrt{3}\approx1.73, \frac{7}{2}=3.5 — in that order, smallest to largest, matching where each sits on the number line regardless of which family it belongs to.
Convert every value to a decimal approximation first, then compare them all on the same number line.
-4 < -2.5 < \sqrt{3} < \frac{7}{2}
A number's decimal expansion is 0.454545\ldots (repeating). What family does it belong to?
Right on try — credit. Right — the answer had already been shown, so no credit this time. Next try is worth Answer shown after three tries — this one no longer earns credit. You chose to see the answer — this one earns no credit.
Repeating (not just non-terminating) decimals are exactly the rational ones — "repeats forever" is different from "never repeats."
It has a fractional/decimal part, so it isn't a whole counting number.
It's an ordinary real number — just described by a repeating decimal instead of a fraction.
Why
Every repeating decimal converts to a fraction of integers via the multiply-and-subtract trick, which is exactly the definition of rational — regardless of how long the repeating block is.
Recall what distinguishes a REPEATING decimal from one that simply never terminates.
Rational, since repeating decimals always convert to a fraction of integers
Convert 0.\overline{3} to a fraction \frac{p}{q} in lowest terms and enter p+q.
Right on try — credit. Right — the answer had already been shown, so no credit this time. Next try is worth Answer shown after three tries — this one no longer earns credit. You chose to see the answer — this one earns no credit.
Why
Setting x=0.333\ldots, 10x-x=3 gives 9x=3, so x=\frac{1}{3}. Then p+q=1+3=4.
Correct answer
Also accepted:
Why
Use the multiply-by-10-and-subtract trick, then reduce the resulting fraction to lowest terms before adding p and q.
Is the sum of a rational number and an irrational number always irrational?
Right on try — credit. Right — the answer had already been shown, so no credit this time. Next try is worth Answer shown after three tries — this one no longer earns credit. You chose to see the answer — this one earns no credit.
Try 2+\sqrt2\approx3.41 — this doesn't terminate or repeat, so it isn't rational.
This holds for EVERY rational-plus-irrational combination, not just special cases — it can be proven in general.
The sum is a perfectly ordinary real number, just an irrational one.
Why
If rational r plus irrational i equaled some rational s, then i=s-r would be a difference of two rationals, which is always rational — contradicting that i was irrational. So the sum must be irrational.
Suppose the sum WERE rational, then try to isolate the irrational number by subtracting — see what that forces.
Recall that subtracting two rational numbers always gives another rational number.
Yes — if it were rational, subtracting the rational part would force the irrational number to also be rational, a contradiction
A question worth asking: is zero a natural number?
Here's an honest bit of nuance most courses gloss over: mathematicians don't fully agree. Some define \mathbb{N} to start at 0 (\{0, 1, 2, 3, \ldots\}); others (this course included) define it starting at 1 (\{1, 2, 3, \ldots\}), with zero belonging to the integers instead. This isn't a contradiction or a mistake somewhere; it's a genuine convention choice, and different textbooks, calculators, and countries make it differently.
Think of it like which floor is "ground level" in a building. Some countries call the street-level floor "floor 1." Others call it "floor 0" and start counting up from there. Neither is wrong. They're just different starting conventions, and confusion only happens when two people assume the other one is using their own convention without saying so. Zero-as-natural-or-not is the same kind of convention question. What matters for this course is consistency: every time you see \mathbb{N} here, it starts at 1, and 0 lives one doll up, in \mathbb{Z}.
Where a convention varies across sources, precision means stating which convention is in use rather than assuming the reader shares yours by default. This course defines \mathbb{N} = \{1, 2, 3, \ldots\} throughout. Zero is treated as the smallest integer that isn't natural, not as a natural number.
Why this matters
You'll see \mathbb{R} constantly from here on. It's the default universe this whole course lives in, unless a problem says otherwise. Knowing that \mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} means you'll never be surprised that an integer is also rational, or that a rational number is also real. The smaller family was always sitting inside the bigger one, the way \subset says it is.
There's a very practical payoff coming, too, not just tidy vocabulary. A few chapters from now, you'll be asked for the domain of an expression: "which numbers are allowed here?" The answer is almost always phrased in terms of these exact families. Phrases like "x must be a natural number" (you can't buy -3 tickets or 2.5 tickets), "x can be any real number," or "x must be an integer" each quietly assume you already know which family is which. They also assume you know what it means for one to sit inside another. That's the whole reason this section exists this early. When a restriction like that shows up later, it reads as an old, familiar idea in a new sentence, not a new hurdle on top of whatever else that problem is already asking of you.
Where this shows up
Currency & Measurement
Currency is a real-world natural-number/rational-number distinction hiding in plain sight. "How many customers walked in today" only ever needs \mathbb{N}: half a customer isn't a meaningful count. But "how much change is owed" needs \mathbb{Q} (or, once cents round, a finite decimal subset of it). A price like \$4.37 is a perfectly sensible amount of money that no natural number can express. Mixing these up in software is a classic bug. Storing a price as an integer number of cents (a natural-number count) avoids the rounding errors that creep in when money is stored as a plain decimal. Floating-point 0.1 + 0.2 famously doesn't equal exactly 0.3 on a computer, for reasons that trace straight back to which number family is being represented in memory.
What's next
Every number family named here is about to do real work. The next section hands you a letter that can stand in for any one of them, and shows what changes when a 3 inside an expression gets replaced by an x.