DoAssignment study guide

B1.2 · Describe and compare subsets of a number system

Learn to describe and compare subsets of a number system through clear examples and targeted practice.

Ontario Grade 9 Mathematics

Number

Expectation B1.2 — How Number Sets Nest Inside Each Other

Numbers are everywhere, but not all numbers are alike. A counting number like 77, a negative temperature like −3-3, a share of a pizza written as 34\frac{3}{4}, and the diagonal of a unit square written as 2\sqrt{2} all feel different — because they belong to different families, or subsets, of the real number system. In this lesson you will learn the names and defining properties of each major subset, discover how they nest inside one another like a set of Russian dolls, and practise sorting any number into the right family (or families). Understanding these subsets is the foundation for every calculation you will meet in Grade 9 and beyond.

What you will learn

  • Identify and describe the major subsets of the real number system: natural numbers, whole numbers, integers, rational numbers, and irrational numbers.
  • Explain in your own words why each subset is contained within the next larger set.
  • Classify any given number as belonging to one or more subsets.
  • Compare subsets by stating what each one has that the others do not.
  • Recognise that every real number is either rational or irrational, but not both.

The Five Key Subsets — Definitions and Symbols

The real number system is the collection of all numbers that can be placed on a number line. Within it, mathematicians have identified five subsets that you need to know for this course, each with its own symbol and personality.
The Natural Numbers, written N\mathbb{N}, are the counting numbers: {1,2,3,4,5,…}\{1, 2, 3, 4, 5, \ldots\}. They start at 11 and keep going forever. Some textbooks include 00 in this set; the Ontario curriculum treats 00 as separate, so watch for context.
The Whole Numbers, written W\mathbb{W}, add exactly one new member to the natural numbers — zero: {0,1,2,3,4,…}\{0, 1, 2, 3, 4, \ldots\}. Every natural number is automatically a whole number, but 00 is a whole number that is not a natural number.
The Integers, written Z\mathbb{Z}, extend the whole numbers by including all the negative counting numbers: {…,−3,−2,−1,0,1,2,3,…}\{\ldots, -3, -2, -1, 0, 1, 2, 3, \ldots\}. The word integer comes from the Latin for 'untouched' or 'whole' — integers never have a fractional part.
The Rational Numbers, written Q\mathbb{Q}, are all numbers that can be expressed as a fraction ab\frac{a}{b} where aa and bb are integers and b≠0b \neq 0. This set is much larger than it first appears: every integer qualifies (since 5=515 = \frac{5}{1}), and every terminating or repeating decimal qualifies (since 0.3‾=130.\overline{3} = \frac{1}{3} and 1.75=741.75 = \frac{7}{4}). The Irrational Numbers have no standard letter symbol, but they are real numbers that cannot be written as any such fraction. Their decimals go on forever without repeating — for example, 2≈1.41421356…\sqrt{2} \approx 1.41421356\ldots and π≈3.14159265…\pi \approx 3.14159265\ldots.
Rational: ab\frac{a}{b}, where a, b ∈ Z\mathbb{Z} and b ≠ 0
  • N={1,2,3,…}\mathbb{N} = \{1, 2, 3, \ldots\} — counting numbers only.
  • W={0,1,2,3,…}\mathbb{W} = \{0, 1, 2, 3, \ldots\} — whole numbers add zero.
  • Z={…,−2,−1,0,1,2,…}\mathbb{Z} = \{\ldots, -2, -1, 0, 1, 2, \ldots\} — integers include negatives.
  • Q\mathbb{Q} — rationals include all fractions ab\frac{a}{b}, terminating decimals, and repeating decimals.
  • Irrationals are real numbers whose decimal expansions never terminate and never repeat.

How the Subsets Nest — The Inclusion Relationship

The five subsets do not sit side-by-side as equals; they nest inside each other in a strict chain. Knowing this chain lets you make instant comparisons. The relationship is: every natural number is a whole number, every whole number is an integer, every integer is a rational number, and every rational number is a real number. Written with the subset symbol: N⊂W⊂Z⊂Q⊂R\mathbb{N} \subset \mathbb{W} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}.
The irrational numbers sit alongside the rationals inside R\mathbb{R}, but they share no members with Q\mathbb{Q}. Together, Q\mathbb{Q} and the irrationals make up all of R\mathbb{R} with no overlap. Think of R\mathbb{R} as a pie divided into exactly two slices: rationals and irrationals.
This nesting has a practical consequence: when a number belongs to a smaller subset (say, the integers), it automatically belongs to every larger subset too. The number −8-8, for example, is simultaneously an integer, a rational number, and a real number — but it is not a natural number or a whole number. A number like 52=2.5\frac{5}{2} = 2.5 is rational and real, but not an integer, whole number, or natural number.
Comparing subsets means stating both what they share and what makes them distinct. Whole numbers and integers both contain {0,1,2,3,…}\{0, 1, 2, 3, \ldots\}, but integers go further by also containing {−1,−2,−3,…}\{-1, -2, -3, \ldots\}. Integers and rationals both contain every whole number and every negative integer, but rationals go further by also containing numbers like 23\frac{2}{3} that cannot be written without a fraction.
N⊂W⊂Z⊂Q⊂R\mathbb{N} \subset \mathbb{W} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}
  • The nesting chain is N⊂W⊂Z⊂Q⊂R\mathbb{N} \subset \mathbb{W} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}.
  • Irrational numbers and rational numbers together fill R\mathbb{R} with no overlap.
  • A number in a smaller subset automatically belongs to every larger subset.
  • Comparing two subsets: identify shared members, then identify what one has that the other does not.

Classifying Any Given Number — A Step-by-Step Strategy

To classify a number, work from the innermost subset outward and ask a sequence of yes/no questions. Start with: Is it a positive whole number with no decimal or fraction? If yes, it is a natural number (and therefore also whole, integer, rational, and real). Next: Is it zero? If yes, it is a whole number but not a natural number. Next: Is it a negative whole number (no decimal or fraction)? If yes, it is an integer but not whole or natural. Next: Can it be written exactly as a fraction of two integers? If yes, it is rational. Finally: Is it a non-terminating, non-repeating decimal? If yes, it is irrational.
A few tricky cases deserve special attention. The number 0.6‾0.\overline{6} (zero point six repeating) looks like it might be irrational, but repeating decimals are always rational — in this case 0.6‾=230.\overline{6} = \frac{2}{3}. Square roots of perfect squares are integers: 49\sqrt{49} = 7 ∈ Z\mathbb{Z}. Square roots of non-perfect squares are irrational: 50\sqrt{50} cannot be simplified to a neat fraction. Negative fractions like −72-\frac{7}{2} are rational and real, but they belong to none of the three innermost sets.
Decimals that terminate (stop) are always rational. For example, 3.125=2583.125 = \frac{25}{8}. You can convert any terminating decimal by counting the decimal places and writing the appropriate power of ten in the denominator, then simplifying. This confirms terminating decimal ⇒\Rightarrow rational.
0.d1d2…‾\overline{d_1 d_2 \ldots} ∈ Q\mathbb{Q} and p\sqrt{p} ∉ Q\mathbb{Q} when p is not a perfect square
  • Work from the innermost subset outward when classifying.
  • Repeating decimals (0.3‾0.\overline{3}, 1.27‾1.\overline{27}, etc.) are always rational.
  • Terminating decimals are always rational.
  • n\sqrt{n} is rational only when nn is a perfect square.
  • A number can belong to several subsets simultaneously.

Comparing Subsets — Similarities and Differences

Being able to compare subsets means more than just reciting definitions — it means articulating what one group has in common with another and where they diverge. Consider W\mathbb{W} and Z\mathbb{Z}. Similarity: both sets contain infinitely many numbers; both include 00 and all positive counting numbers; both sets are closed under addition (adding two members always gives another member of that set). Difference: Z\mathbb{Z} contains negative numbers (−1,−2,−3,…-1, -2, -3, \ldots), which W\mathbb{W} does not. So Z\mathbb{Z} is strictly larger.
Now compare Z\mathbb{Z} and Q\mathbb{Q}. Similarity: both include all the integers; both extend infinitely in the positive and negative directions. Difference: Q\mathbb{Q} contains numbers between every pair of integers — numbers like 12\frac{1}{2}, −34-\frac{3}{4}, and 2.372.37 — whereas Z\mathbb{Z} has no members between consecutive integers. In fact, between any two rational numbers you can always find another rational number, a property called density, which the integers do not have.
Finally, compare Q\mathbb{Q} and the irrationals. Similarity: both are infinite subsets of R\mathbb{R}; both contain numbers spread across the entire number line. Key difference: Q\mathbb{Q} and the irrationals share no members at all — a number is one or the other, never both. Together they cover all of R\mathbb{R}.
Q\mathbb{Q} \cup \{irrationals\} = R\mathbb{R} and Q\mathbb{Q} \cap \{irrationals\} = \emptyset
  • W\mathbb{W} and Z\mathbb{Z} share all non-negative integers; Z\mathbb{Z} adds all negative integers.
  • Z\mathbb{Z} and Q\mathbb{Q} share all integers; Q\mathbb{Q} additionally contains all fractions and mixed decimals.
  • Q\mathbb{Q} is dense — there is always another rational number between any two rationals.
  • Q\mathbb{Q} and the irrationals are completely disjoint subsets that together form R\mathbb{R}.

Subset Membership at a Glance

NumberN\mathbb{N}W\mathbb{W}Z\mathbb{Z}Q\mathbb{Q}
88✓✓✓✓
00✗✓✓✓
−5-5✗✗✓✓
37\frac{3}{7}✗✗✗✓
3\sqrt{3}✗✗✗✗ (irrational)

Worked example

Classifying and Comparing a Set of Six Numbers

For each of the following six numbers, state every subset of the real number system to which it belongs. Then write one sentence comparing the subset memberships of −9-9 and −94-\frac{9}{4}. The numbers are: 66, 00, −9-9, −94-\frac{9}{4}, 11\sqrt{11}, 0.45‾0.\overline{45}.
  1. Classify 66
    The number 66 is a positive counting number with no decimal or fractional part, so it qualifies for every subset in the nesting chain.
    6 ∈ N\mathbb{N},\ W\mathbb{W},\ Z\mathbb{Z},\ Q\mathbb{Q},\ R\mathbb{R}
  2. Classify 00
    Zero is not a counting number (it is not in N\mathbb{N} under the Ontario convention), but it is the starting point of the whole numbers, and it is an integer, rational (0=010 = \frac{0}{1}), and real.
    0 ∈ W\mathbb{W},\ Z\mathbb{Z},\ Q\mathbb{Q},\ R\mathbb{R} (0 ∉ N\mathbb{N})
  3. Classify −9-9
    The number −9-9 is negative, so it is not natural or whole. It has no fractional part, so it is an integer. Every integer is rational (−9=−91-9 = \frac{-9}{1}) and real.
    -9 ∈ Z\mathbb{Z},\ Q\mathbb{Q},\ R\mathbb{R} (-9 ∉ N\mathbb{N},\ W\mathbb{W})
  4. Classify −94-\frac{9}{4}
    The fraction −94=−2.25-\frac{9}{4} = -2.25 has a numerator and denominator that are both integers, and the denominator is not zero, so it is rational by definition. It is not an integer because −2.25-2.25 has a non-zero decimal part. It is real.
    -94\frac{9}{4} ∈ Q\mathbb{Q},\ R\mathbb{R} (-94\frac{9}{4} ∉ N\mathbb{N},\ W\mathbb{W},\ Z\mathbb{Z})
  5. Classify 11\sqrt{11}
    Since 1111 is not a perfect square (the perfect squares near 1111 are 99 and 1616), the square root cannot be simplified to a ratio of integers. Its decimal expansion is 11≈3.31662…\sqrt{11} \approx 3.31662\ldots, which neither terminates nor repeats. Therefore 11\sqrt{11} is irrational and real only.
    11\sqrt{11} ∈ R\mathbb{R} (irrational) (11\sqrt{11} ∉ Q\mathbb{Q})
  6. Classify 0.45‾0.\overline{45}
    The bar over 4545 means the digits 4545 repeat forever: 0.454545…0.454545\ldots. Any repeating decimal can be converted to a fraction. Let x=0.45‾x = 0.\overline{45}. Then 100x=45.45‾100x = 45.\overline{45}, so 100x−x=45100x - x = 45, giving 99x=4599x = 45 and x=4599=511x = \frac{45}{99} = \frac{5}{11}. This is a fraction of two integers, confirming it is rational.
    0.45‾\overline{45} = 511\frac{5}{11} ∈ Q\mathbb{Q},\ R\mathbb{R} (0.45‾\overline{45} ∉ N\mathbb{N},\ W\mathbb{W},\ Z\mathbb{Z})
  7. Compare −9-9 and −94-\frac{9}{4}
    Both numbers are negative, both are rational and real, but −9-9 is also an integer while −94-\frac{9}{4} is not — −9-9 belongs to one more subset (Z\mathbb{Z}) than −94-\frac{9}{4} does.
    -9 ∈ \{Z\mathbb{Z},Q\mathbb{Q},R\mathbb{R}\} vs. -94\frac{9}{4} ∈ \{Q\mathbb{Q},R\mathbb{R}\}
Answer: 66: N,W,Z,Q,R\mathbb{N}, \mathbb{W}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}. \quad 00: W,Z,Q,R\mathbb{W}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}. \quad −9-9: Z,Q,R\mathbb{Z}, \mathbb{Q}, \mathbb{R}. \quad −94-\frac{9}{4}: Q,R\mathbb{Q}, \mathbb{R}. \quad 11\sqrt{11}: R\mathbb{R} (irrational). \quad 0.45‾0.\overline{45}: Q,R\mathbb{Q}, \mathbb{R}.
Check: Verify the nesting rule: every set listed for a number should be a superset of the previous one in the chain N⊂W⊂Z⊂Q⊂R\mathbb{N} \subset \mathbb{W} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}. For 0.45‾0.\overline{45}, confirm 511\frac{5}{11}: 511=0.45‾\frac{5}{11} = 0.\overline{45} ✓ (divide 5÷115 \div 11 to check). For 11\sqrt{11}, confirm non-perfect-square: 32=9‹11‹16=423^2 = 9 ‹ 11 ‹ 16 = 4^2, so 11\sqrt{11} is not an integer ✓.

Common mistakes and how to avoid them

Assuming n\sqrt{n} is always irrational. Students often label 36\sqrt{36} as irrational.
Correction: 36=6\sqrt{36} = 6, which is a natural number. Only square roots of non-perfect squares are irrational. Always simplify the square root first.
Thinking a number can belong to Q\mathbb{Q} and also be irrational at the same time.
Correction: Rational and irrational are mutually exclusive categories. If a number is rational, it cannot be irrational, and vice versa. There is no overlap between these two sets.
Forgetting that negative fractions like −25-\frac{2}{5} are rational numbers.
Correction: The definition of rational is ab\frac{a}{b} where a, b ∈ Z\mathbb{Z} and b≠0b \neq 0. Integers include negatives, so −25-\frac{2}{5} qualifies with a=−2a = -2 and b=5b = 5.
Treating a repeating decimal like 0.7‾0.\overline{7} as irrational because its decimal 'goes on forever'.
Correction: A decimal that repeats a pattern is always rational. Only non-terminating AND non-repeating decimals are irrational. For example, 0.7‾=790.\overline{7} = \frac{7}{9}.
Stating that integers are not rational numbers — believing fractions and integers are separate groups.
Correction: Every integer nn can be written as n1\frac{n}{1}, which satisfies the definition of rational. Integers are a subset of the rationals, not a separate branch.

Lesson summary

  • The real number system contains five key subsets: natural numbers N\mathbb{N}, whole numbers W\mathbb{W}, integers Z\mathbb{Z}, rational numbers Q\mathbb{Q}, and irrational numbers — each with distinct defining properties.
  • The subsets nest in the chain N⊂W⊂Z⊂Q⊂R\mathbb{N} \subset \mathbb{W} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}, meaning a number in any subset also belongs to all larger subsets in the chain.
  • Rational numbers include all fractions ab\frac{a}{b} (with integer aa, bb and b≠0b \neq 0), all terminating decimals, and all repeating decimals.
  • Irrational numbers are real numbers whose decimal expansions never terminate and never repeat; Q\mathbb{Q} and the irrationals together fill R\mathbb{R} with no overlap.
  • To classify a number, work from the innermost subset outward using the definition of each set as a yes/no test.
  • To compare two subsets, identify what members they share and what one set contains that the other does not.

Check your understanding

Question 1

Which of the following numbers is irrational?
  1. 25\sqrt{25}
  2. 0.12‾0.\overline{12}
  3. 7\sqrt{7}
  4. −43-\frac{4}{3}
Show answer and explanation
7\sqrt{7}
25=5\sqrt{25} = 5, a natural number. 0.12‾=1299=4330.\overline{12} = \frac{12}{99} = \frac{4}{33}, a rational number. −43-\frac{4}{3} is a rational number. 7\sqrt{7} cannot be simplified because 77 is not a perfect square, and its decimal 2.6457…2.6457\ldots never terminates or repeats, so it is irrational.

Question 2

A student says: 'The number −13-13 is an integer but not a rational number.' What is wrong with this statement?
  1. Nothing is wrong; −13-13 is only an integer.
  2. Integers are a subset of rational numbers, so −13-13 is both an integer and a rational number.
  3. −13-13 is not an integer because it is negative.
  4. −13-13 is irrational because it is negative.
Show answer and explanation
Integers are a subset of rational numbers, so −13-13 is both an integer and a rational number.
Every integer can be written as a fraction with denominator 11. Since −13=−131-13 = \frac{-13}{1} and both −13-13 and 11 are integers with 1≠01 \neq 0, −13-13 satisfies the definition of a rational number. The nesting chain confirms Z⊂Q\mathbb{Z} \subset \mathbb{Q}.

Question 3

Which pair of subsets is described correctly?
  1. Whole numbers and integers are identical sets.
  2. Natural numbers include zero but integers do not.
  3. Every whole number is an integer, but not every integer is a whole number.
  4. Rational numbers and irrational numbers overlap inside R\mathbb{R}.
Show answer and explanation
Every whole number is an integer, but not every integer is a whole number.
The whole numbers {0,1,2,…}\{0, 1, 2, \ldots\} are all contained within the integers {…,−2,−1,0,1,2,…}\{\ldots, -2, -1, 0, 1, 2, \ldots\}, so W⊂Z\mathbb{W} \subset \mathbb{Z}. However, negative integers like −4-4 are integers but not whole numbers, so the two sets are not equal. Rational and irrational numbers never overlap.

Question 4

How many of the following sets does the number 164\frac{16}{4} belong to: N\mathbb{N}, W\mathbb{W}, Z\mathbb{Z}, Q\mathbb{Q}, R\mathbb{R}?
  1. 11 — it is only rational because it is written as a fraction.
  2. 33 — it is an integer, rational, and real.
  3. 55 — it belongs to all five sets.
  4. 22 — it is rational and real only.
Show answer and explanation
55 — it belongs to all five sets.
First simplify: 164=4\frac{16}{4} = 4. The number 44 is a positive counting number with no fractional part, so it is a natural number. Since N⊂W⊂Z⊂Q⊂R\mathbb{N} \subset \mathbb{W} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}, it automatically belongs to all five sets.

Key terms

Real Numbers (R\mathbb{R})
The complete set of all numbers that can be located on a number line, including all rationals and all irrationals.
Natural Numbers (N\mathbb{N})
The positive counting numbers {1,2,3,4,…}\{1, 2, 3, 4, \ldots\}, not including zero in the Ontario Grade 9 curriculum.
Whole Numbers (W\mathbb{W})
The set {0,1,2,3,…}\{0, 1, 2, 3, \ldots\} — the natural numbers together with zero.
Integers (Z\mathbb{Z})
All positive and negative whole numbers together with zero: {…,−2,−1,0,1,2,…}\{\ldots, -2, -1, 0, 1, 2, \ldots\}.
Rational Numbers (Q\mathbb{Q})
All numbers expressible as ab\frac{a}{b} where aa and bb are integers and b≠0b \neq 0; equivalently, all terminating or repeating decimals.
Irrational Numbers
Real numbers that cannot be written as a fraction of two integers; their decimal expansions are non-terminating and non-repeating (e.g., 2\sqrt{2}, π\pi).
Subset
A set whose every member also belongs to a larger set. For example, N\mathbb{N} is a subset of W\mathbb{W} because every natural number is also a whole number.
Density (of rational numbers)
The property that between any two distinct rational numbers there is always another rational number, meaning rationals have no 'gaps' between consecutive members.

Continue through MTH1W

View the complete MTH1W Ontario Grade 9 Mathematics curriculum and lessons

Use the free MTH1W test and exam review guide

About this lesson and its review

Published by DoAssignment. This reviewed lesson follows Ontario Grade 9 Mathematics (MTH1W), expectation B1.2. It is a study resource, not an official curriculum publication.

Before publication, content is checked for structure, mathematical or chemical notation, calculations, course boundaries, and readability. Errors can still occur, so corrections are welcomed.

Official curriculum reference

Report a correction or ask a question