Rational Numbers

Why does $2x = 3$ have no answer among the integers, while $x + 5 = 5$ is perfectly happy with the whole number $0$ ? Every time mathematicians met an equation their current number system could not solve, they built a bigger system. Natural numbers $1, 2, 3, \ldots$ could not solve $x + 5 = 5$ , so zero was added to make the whole numbers. Whole numbers could not solve $x + 18 = 5$ , so negative numbers were added to make the integers. And integers cannot solve $2x = 3$ , because no integer doubles to give $3$ — we need the number $\tfrac{3}{2}$ . This chapter is about the number system built exactly to close that last gap: the rational numbers, every number that can be written as $\tfrac{p}{q}$ with $p$ and $q$ integers and $q \neq 0$ . Once we have this bigger collection, a natural question follows: which of the nice arithmetic habits we trust — closure, commutativity, associativity, identities, distributivity — still hold? This chapter checks each property carefully for whole numbers, integers and rational numbers side by side, using worked additions, subtractions, multiplications and divisions, so that by the end you can say with certainty which operations are "safe" (they always stay inside the same number system and can be reordered or regrouped freely) and which are not. You will also learn two very concrete skills: how to plot any rational number on a number line, however far it lies between two integers, and how to find as many rational numbers as you like between any two given rational numbers — a fact that quietly tells you rational numbers are densely packed, with no "next" rational number after any given one. By the end of this chapter you should be able to name the property used in any given calculation, use identities and distributivity to simplify tricky arithmetic instead of grinding through it, plot rational numbers precisely, and generate rational numbers between any pair, however close together they are.

Key takeaways

A rational number is any number of the form $\tfrac{p}{q}$ where $p, q$ are integers and $q \neq 0$ ; this class includes all integers, since any integer $n$ is $\tfrac{n}{1}$ .
Closure: rational numbers are closed under addition, subtraction and multiplication (the result is always rational), but not under division, because division by $0$ is undefined.
Commutativity: addition and multiplication of rational numbers can be done in either order ( $a+b=b+a$ , $ab=ba$ ); subtraction and division cannot.
Associativity: addition and multiplication of rational numbers can be grouped any way ( $a+(b+c)=(a+b)+c$ , $a(bc)=(ab)c$ ); subtraction and division cannot.
Additive identity: $0$ is the unique rational number with $a + 0 = 0 + a = a$ for every rational $a$ .
Multiplicative identity: $1$ is the unique rational number with $a \times 1 = 1 \times a = a$ for every rational $a$ .
Distributivity links multiplication and addition/subtraction: $a(b+c) = ab + ac$ and $a(b-c) = ab - ac$ , for all rational $a, b, c$ — the single most useful trick for fast mental arithmetic in this chapter.
Every rational number can be located exactly on the number line, and between any two distinct rational numbers there are infinitely many more rational numbers, found using the mean method.
Key idea: rational numbers p/q (q not 0) are exactly the numbers that make closure work for addition, subtraction and multiplication, they obey commutativity, associativity and distributivity (but not for subtraction or division), 0 and 1 are their additive and multiplicative identities, and between any two of them lie infinitely many more.

The core insight

Rational numbers are all fractions $\tfrac{p}{q}$ with integers $p, q$ and $q \neq 0$ ; they are closed, commutative and associative under addition and multiplication (never under subtraction or division), have $0$ and $1$ as their additive and multiplicative identities, obey $a(b+c)=ab+ac$ , and are packed so densely on the number line that infinitely many rational numbers sit between any two given ones.

What this chapter covers

This companion follows the chapter in four movements. First, we pin down exactly what a rational number is, and place it correctly among natural numbers, whole numbers and integers. Second, we run through the properties of operations — closure, commutativity, associativity — testing each of the four operations (addition, subtraction, multiplication, division) on whole numbers, integers and rational numbers, because the chapter's whole point is comparison: what is true for integers may or may not survive for rational numbers, and vice versa. Third, we study the two special rational numbers that behave like "do-nothing" numbers under addition and multiplication — the identities $0$ and $1$ — and the distributive law that connects multiplication to addition and subtraction. Finally, we learn to place rational numbers accurately on a number line and to manufacture as many rational numbers as we want between any two given ones, using the simple idea of a mean (average).

The core ideas

What is a rational number

A number is called a rational number if it can be written in the form $\tfrac{p}{q}$ , where $p$ and $q$ are integers and $q \neq 0$ .

\text{Rational number} = \frac{p}{q}, \qquad p, q \in \mathbb{Z}, \quad q \neq 0.

where: $p$ is the numerator, $q$ is the denominator, and both must be integers with $q$ never allowed to be $0$ (division by zero is never defined). Numbers such as $-\tfrac{2}{3}$ , $\tfrac{6}{7}$ , and $\tfrac{9}{-5}$ are all rational numbers by this definition. Every integer is automatically rational too — for instance $0 = \tfrac{0}{1}$ , $-2 = \tfrac{-2}{1}$ , and $4 = \tfrac{4}{1}$ — so the rational numbers contain the integers, which contain the whole numbers, which contain the natural numbers. This nested structure is exactly why each new number system was built: naturals sat inside wholes, wholes inside integers, and now integers sit inside the rationals.

Figure

Four nested circles showing natural numbers inside whole numbers inside integers inside rational numbers, illustrating that each number system contains the one before it

Closure — does the answer stay in the family

A collection of numbers is closed under an operation if combining any two members by that operation always produces another member of the same collection. The chapter checks this for the four basic operations across three families of numbers.

\text{Rational numbers: closed under } +, -, \times \quad\text{but not } \div.

where: "closed under $\div$ " fails only because division by $0$ has no meaning; if you specifically exclude $0$ from the divisor, the remaining rational numbers are closed under division too. Whole numbers are closed only under addition and multiplication (subtracting a bigger whole number from a smaller one gives a negative result, which escapes the whole numbers). Integers improve on this — closed under addition, subtraction and multiplication — but still fail division, since $5 \div 8 = \tfrac{5}{8}$ is not an integer. Rational numbers finally close the gap for subtraction and multiplication as well, which is precisely why they were invented: to make division (except by zero) possible too.

Commutativity and associativity — does order or grouping matter

Commutativity asks whether $a * b = b * a$ for an operation $*$ ; associativity asks whether $(a*b)*c = a*(b*c)$ . For rational numbers, addition and multiplication pass both tests, while subtraction and division fail both.

a + b = b + a, \qquad a \times b = b \times a \qquad \text{(commutative)}

a + (b+c) = (a+b) + c, \qquad a \times (b \times c) = (a \times b) \times c \qquad \text{(associative)}

where: $a, b, c$ stand for any rational numbers. A quick counterexample settles why subtraction and division are excluded: $\tfrac{2}{3} - \tfrac{5}{4} \neq \tfrac{5}{4} - \tfrac{2}{3}$ (the two sides are negatives of each other, not equal, unless both are zero), and $\left(\tfrac{1}{2} \div \tfrac{-1}{3}\right) \div \tfrac{2}{5} \neq \tfrac{1}{2} \div \left(\tfrac{-1}{3} \div \tfrac{2}{5}\right)$ . Because integers are themselves rational numbers, any property that fails for rational numbers (like commutativity of subtraction) must also fail for integers — you do not need to test integers separately once you know the rational case.

Identities and distributivity

An identity for an operation is a special number that leaves every other number unchanged when combined with it. Zero is the additive identity and one is the multiplicative identity for rational numbers.

a + 0 = 0 + a = a, \qquad a \times 1 = 1 \times a = a

where: $a$ is any rational number. These are not just facts to memorise — they are tools. The distributive law ties multiplication together with addition and subtraction, letting you split or combine terms to simplify arithmetic:

a(b + c) = ab + ac, \qquad a(b - c) = ab - ac

where: $a, b, c$ are rational numbers. Reading the distributive law from right to left (factoring) is often the faster route: instead of computing $ab$ and $ac$ separately and adding, notice a common factor $a$ and multiply once. This single habit is what makes Example 3 below collapse from a four-term mess into one clean multiplication.

Representing rational numbers on the number line

Just as integers occupy evenly spaced marks on a number line, every rational number occupies one exact point, found by subdividing the segment between two consecutive integers into as many equal parts as the denominator requires.

\frac{p}{q} \;\longrightarrow\; \text{divide the unit segment into } q \text{ equal parts, count } p \text{ of them from } 0.

where: $q$ tells you how many equal pieces to cut each unit interval into, and $p$ tells you how many of those pieces to count off (to the right of $0$ if $p$ and $q$ have the same sign, to the left if they have opposite signs). For example, to plot $-\tfrac{5}{6}$ , divide the segment from $0$ to $-1$ into $6$ equal parts and mark the $5$ th part from $0$ . To plot $\tfrac{7}{4}$ , divide each unit from $1$ to $2$ into $4$ equal parts and count $3$ parts past $1$ (since $\tfrac{7}{4} = 1\tfrac{3}{4}$ ).

Figure

A number line from minus two to two with the unit from zero to one divided into six equal parts to plot minus five sixths and the unit from one to two divided into four equal parts to plot seven fourths

Rational numbers between two rational numbers

Between any two distinct rational numbers there are infinitely many more rational numbers — this is very different from integers, where between $3$ and $4$ there is no integer at all. The simplest way to insert one rational number between two given ones $a$ and $b$ is to take their mean.

\text{mean of } a, b = \frac{a+b}{2}, \qquad \text{and } a < \frac{a+b}{2} < b \text{ whenever } a < b.

where: $a$ and $b$ are the two given rational numbers with $a < b$ . Once you have this mean, call it $c$ ; now $a < c < b$ , so you can repeat the trick between $a$ and $c$ , and again between $c$ and $b$ , to get as many rational numbers as you like — this is the concrete reason the rational numbers are called dense: however close two rational numbers are, infinitely many more sit strictly between them. When you need several rational numbers between $a$ and $b$ in one step, it is often faster to rewrite both as equivalent fractions with a common denominator large enough to leave several whole numbers in the numerator gap.

Two derivations

Derivation AWhy subtraction of rational numbers is neither commutative nor associative

Addition and multiplication of rational numbers are commutative and associative, which tempts many students to assume the same "nice" behaviour automatically extends to subtraction, since subtraction looks like "addition with a sign." This derivation shows carefully, with a concrete counterexample followed by the general algebraic reason, exactly why subtraction breaks both properties, and why this failure was entirely predictable from what is already known about integers.

Step 1. Test commutativity with actual numbers. Take $a = \tfrac{2}{3}$ and $b = \tfrac{5}{4}$ . Then $a - b = \tfrac{2}{3} - \tfrac{5}{4} = \tfrac{8-15}{12} = \tfrac{-7}{12}$ , while $b - a = \tfrac{5}{4} - \tfrac{2}{3} = \tfrac{15-8}{12} = \tfrac{7}{12}$ . These are not equal (one is the negative of the other), so $a - b \neq b - a$ for this pair, and commutativity fails.

Step 2. Generalise Step 1 algebraically. For any rational numbers $a$ and $b$ , $b - a = -(a - b)$ , which is an identity that always holds (rearranging, $b - a + (a-b) = 0$ , always true). So $a - b$ equals $b-a$ only when $-(a-b) = a-b$ , that is, when $2(a-b) = 0$ , that is, when $a = b$ . Hence subtraction is commutative only in the trivial case where the two numbers are equal — for genuinely different $a$ and $b$ it always fails.

Step 3. Test associativity with actual numbers. Take $a = \tfrac{-2}{3}$ , $b = \tfrac{-4}{5}$ , $c = \tfrac{1}{2}$ . Compute the left grouping: $a - (b-c) = \tfrac{-2}{3} - \left(\tfrac{-4}{5} - \tfrac{1}{2}\right) = \tfrac{-2}{3} - \left(\tfrac{-8-5}{10}\right) = \tfrac{-2}{3} - \left(\tfrac{-13}{10}\right) = \tfrac{-2}{3} + \tfrac{13}{10} = \tfrac{-20+39}{30} = \tfrac{19}{30}$ . Now the right grouping: $(a-b) - c = \left(\tfrac{-2}{3} - \tfrac{-4}{5}\right) - \tfrac{1}{2} = \left(\tfrac{-10+12}{15}\right) - \tfrac{1}{2} = \tfrac{2}{15} - \tfrac{1}{2} = \tfrac{4-15}{30} = \tfrac{-11}{30}$ .

Step 4. Compare the two results. Step 3 gave $a - (b-c) = \tfrac{19}{30}$ but $(a-b) - c = \tfrac{-11}{30}$ , and these are clearly different numbers, so $a - (b-c) \neq (a-b) - c$ for this triple. Associativity fails for subtraction.

Step 5. This was inevitable, not a coincidence of the chosen numbers. Integers are themselves rational numbers (every integer $n$ is $\tfrac{n}{1}$ ), and subtraction is already known to be neither commutative nor associative for integers — for example $5 - 7 \neq 7 - 5$ . If subtraction were commutative or associative for all rational numbers, it would have to hold for the special rational numbers that happen to be integers too, contradicting what we already know. Any counterexample among the integers is automatically a counterexample among the rationals — the same logic explains every "not closed / not commutative / not associative" entry across all three number systems in this chapter.

Go deeper · Derivation B · 1 minFinding n rational numbers between two given rational numbers using a common denominator

Derivation BFinding n rational numbers between two given rational numbers using a common denominator

The mean method inserts rational numbers one at a time, which is slow if you need, say, ten rational numbers between $\tfrac{3}{5}$ and $\tfrac{4}{5}$ . This derivation develops a faster method: rewrite both given rational numbers as equivalent fractions over a denominator large enough that whole numbers appear strictly between the two new numerators, then read the required rational numbers straight off.

Step 1. State the goal precisely. Given rational numbers $a$ and $b$ with $a < b$ , and a required count $n$ , find $n$ distinct rational numbers strictly between $a$ and $b$ .

Step 2. Convert $a$ and $b$ to equivalent fractions with the same denominator, chosen large enough to leave room. Take $a = \tfrac{3}{5}$ and $b = \tfrac{4}{5}$ , and suppose $n = 5$ . Multiply numerator and denominator of both by $6$ (a number one more than $n$ , chosen so that exactly $n$ integers will fall strictly between the two new numerators): $a = \tfrac{3}{5} = \tfrac{18}{30}$ and $b = \tfrac{4}{5} = \tfrac{24}{30}$ .

Step 3. Read off the whole numbers strictly between the two new numerators. Between $18$ and $24$ lie $19, 20, 21, 22, 23$ — exactly five integers, matching the required count $n = 5$ .

Step 4. Write each of those integers over the common denominator $30$ to produce the required rational numbers: $\tfrac{19}{30}, \tfrac{20}{30}, \tfrac{21}{30}, \tfrac{22}{30}, \tfrac{23}{30}$ . Each one is strictly between $\tfrac{18}{30}$ and $\tfrac{24}{30}$ by construction, since $18 < 19 < 20 < 21 < 22 < 23 < 24$ , and dividing every part of that chain of inequalities by the same positive number $30$ preserves the order.

Step 5. The method generalises: if converting to a common denominator leaves fewer than $n$ whole numbers strictly between the numerators, simply scale up further — multiply both fractions' numerator and denominator by a larger common factor (for instance $60$ instead of $30$ ), spreading the numerators farther apart to create room for as many in-between integers as needed. Since this scaling can be repeated without limit, the method proves directly that infinitely many rational numbers exist between any two distinct rational numbers $a$ and $b$ .

Worked examples

Board level - simplifying with distributivity (NCERT Example 3 style)

Find $\dfrac{2}{5} \times \dfrac{-3}{7} - \dfrac{1}{14} - \dfrac{3}{7} \times \dfrac{3}{5}$ .

Step 1. Use commutativity of multiplication to rewrite the first and last terms so that they share the visible factor $\tfrac{-3}{7}$ and $\tfrac{3}{7}$ respectively in a form that groups nicely: $\dfrac{2}{5} \times \dfrac{-3}{7} - \dfrac{3}{7} \times \dfrac{3}{5} - \dfrac{1}{14} = \dfrac{2}{5} \times \dfrac{-3}{7} + \dfrac{-3}{7} \times \dfrac{3}{5} - \dfrac{1}{14}$ .

Step 2. Factor out the common $\tfrac{-3}{7}$ using distributivity in reverse, $ab + ac = a(b+c)$ : $\dfrac{-3}{7}\left(\dfrac{2}{5} + \dfrac{3}{5}\right) - \dfrac{1}{14}$ .

Step 3. Simplify inside the bracket: $\tfrac{2}{5} + \tfrac{3}{5} = \tfrac{5}{5} = 1$ , so the expression becomes $\dfrac{-3}{7} \times 1 - \dfrac{1}{14} = \dfrac{-3}{7} - \dfrac{1}{14}$ .

Step 4. Take the LCM of $7$ and $14$ , which is $14$ : $\dfrac{-3}{7} - \dfrac{1}{14} = \dfrac{-6}{14} - \dfrac{1}{14} = \dfrac{-7}{14} = \dfrac{-1}{2}$ . The answer is $\boldsymbol{-\dfrac{1}{2}}$ .

Board level - identifying the property used

Name the property illustrated by $\dfrac{-19}{29} \times \dfrac{29}{-19} = 1$ , and by $\dfrac{13}{17} \times \dfrac{-2}{7} = \dfrac{-2}{7} \times \dfrac{13}{17}$ .

Step 1. Look at the first equation. The two rational numbers being multiplied, $\tfrac{-19}{29}$ and $\tfrac{29}{-19}$ , are reciprocals of each other (flipping numerator and denominator of one gives the other, up to the sign arrangement), and their product is $1$ . This is the defining property of a multiplicative inverse: every nonzero rational number $\tfrac{p}{q}$ has a reciprocal $\tfrac{q}{p}$ with $\tfrac{p}{q} \times \tfrac{q}{p} = 1$ .

Step 2. Look at the second equation. The same two rational numbers, $\tfrac{13}{17}$ and $\tfrac{-2}{7}$ , appear on both sides of the equals sign, only in swapped order, and the equation asserts the two products are equal. This is exactly the statement $a \times b = b \times a$ , the commutative property of multiplication. The first equation illustrates the existence of multiplicative inverses; the second illustrates commutativity of multiplication.

Higher-order thinking (HOTS / olympiad-style) - proving a property fails using a single counterexample and pinning the exact reason

Priya claims: "If $a, b, c$ are rational numbers and $a \times (b + c) = a \times b + a \times c$ always holds, then by similar reasoning $a \div (b + c)$ should equal $a \div b + a \div c$ for all nonzero rational $b, c, b+c$ ." Show this claim is false, and identify precisely which property of division (not of addition) causes the breakdown.

Step 1. Choose a simple test triple to check the claim numerically. Let $a = 1$ , $b = 1$ , $c = 1$ . Then $b + c = 2$ , so the left side of Priya's proposed equality is $a \div (b+c) = 1 \div 2 = \tfrac{1}{2}$ .

Step 2. Compute the right side with the same values: $a \div b + a \div c = 1 \div 1 + 1 \div 1 = 1 + 1 = 2$ .

Step 3. Compare: $\tfrac{1}{2} \neq 2$ , so Priya's proposed identity is false for this triple, and a single counterexample is sufficient to disprove a claimed "always" statement.

Step 4. Pin down the exact reason. Distributivity genuinely holds for multiplication over addition, $a(b+c) = ab+ac$ , but $a \div (b+c)$ means $a \times \dfrac{1}{b+c}$ while $a \div b + a \div c$ means $a\left(\dfrac{1}{b} + \dfrac{1}{c}\right)$ . These match only if $\dfrac{1}{b+c} = \dfrac{1}{b} + \dfrac{1}{c}$ , a false statement about reciprocals — so the fault is not in the distributive law itself but in assuming it extends to an operation the chapter never claimed it for.

Step 5. The distributive law applies only to multiplication over addition or subtraction — $a(b+c) = ab+ac$ and $a(b-c) = ab-ac$ — never to division. Priya's error was extending a true property of one operation to a different operation without re-deriving it. The claim is false, and the precise reason is that reciprocation does not distribute over addition, so "distributing" division the way multiplication distributes is unjustified. Timing note: a problem like this should take about 5 to 7 minutes in an exam — 1 minute to test a simple counterexample, 2 to 3 minutes to compute both sides carefully, and the remaining time to articulate the precise underlying reason rather than just stating "it's false."

Common traps

A very common slip is assuming that because addition and multiplication are commutative and associative for rational numbers, subtraction and division must be too — always check with a quick counterexample before trusting an unproven rearrangement. Another frequent error is treating $0$ as "no property" rather than as the additive identity, and consequently forgetting that $a \div 0$ is never defined even though $a \times 0 = 0$ is perfectly fine — closure under division fails only because of this single forbidden case. Students also often forget to convert to a common denominator before comparing or subtracting rational numbers, leading to wrong order-of-magnitude answers. When plotting rational numbers on the number line, a classic mistake is subdividing the wrong unit interval (for instance splitting $0$ to $1$ instead of $-1$ to $0$ when plotting a negative rational number) or miscounting which of the $q$ subdivisions corresponds to $p$ . Finally, when finding rational numbers between two given ones, students sometimes stop after finding just one (via the mean) when the question asks for several — remember the mean method can be reapplied repeatedly, or the common-denominator method can generate many at once.

:::quiz Which of the following is NOT a rational number in lowest reasoning about the definition

7, since it can be written as 7 over 1
0, since it can be written as 0 over 1
-3 over 5
2 over 0 ✓

:::quiz Rational numbers are closed under which of these operations in every case

subtraction only
addition, subtraction and multiplication ✓
division only
addition and division only

:::quiz What is the additive identity for rational numbers

1
0 ✓
-1
there is none

:::quiz Using the common denominator method how many rational numbers strictly between 3 over 5 and 4 over 5 can you always produce

exactly one
exactly two
at most ten
as many as you like, by scaling to a larger common denominator ✓

You should be able to…

State the definition of a rational number and instantly recognise whether a given number fits it.
Explain why every integer, and hence every whole and natural number, is also a rational number.
Determine, for each of addition, subtraction, multiplication and division, whether rational numbers, integers and whole numbers are closed under it, with a supporting example or counterexample.
Identify, from a given equation, which property (commutativity, associativity, distributivity, or an identity) it demonstrates.
Use distributivity in both directions — expanding $a(b+c)$ into $ab+ac$ , and factoring $ab+ac$ back into $a(b+c)$ — to simplify arithmetic.
Name the additive identity and the multiplicative identity for rational numbers and use them to simplify expressions instantly.
Plot any given rational number accurately on a number line by subdividing the correct unit interval into the correct number of equal parts.
Find one rational number between two given rational numbers using the mean, and find several at once using the common-denominator method.
Explain, using the common-denominator method, why infinitely many rational numbers exist between any two distinct rational numbers.

Ask the tutor: Want to practice spotting which property (closure, commutativity, associativity, identity or distributivity) is being used in a mixed set of rational number equations, or work through more "find n rational numbers between a and b" problems together?

Is every integer also a rational number, or are they separate categories?

Every integer is also a rational number. Any integer $n$ can be written as $\tfrac{n}{1}$ , which fits the definition $\tfrac{p}{q}$ with $p = n$ and $q = 1$ (an integer, and not zero). So the integers are not a separate category sitting next to the rationals — they are a subset inside them, just as whole numbers are a subset inside integers, and natural numbers a subset inside whole numbers. This nesting is why a property that fails for integers (like commutativity of subtraction) automatically fails for rational numbers too, since integers are specific examples of rational numbers.

Why is division left out of closure, commutativity and associativity for rational numbers?

Division by rational numbers is only "safe" once you exclude zero as a divisor, since $a \div 0$ is never defined for any $a$ . Even after excluding zero, division still fails commutativity and associativity — for example $\tfrac{1}{2} \div \tfrac{1}{4} = 2$ but $\tfrac{1}{4} \div \tfrac{1}{2} = \tfrac{1}{2}$ , which are different. This is not a special weakness of rational numbers; the same failure already happens for integers and whole numbers, so it was expected rather than surprising once you understood the pattern from those number systems first.

How do I quickly find just one rational number between two given rational numbers without a calculator?

Take their mean: add the two rational numbers and divide the sum by $2$ . For example, between $\tfrac{-2}{5}$ and $\tfrac{1}{5}$ , the mean is $\left(\tfrac{-2}{5} + \tfrac{1}{5}\right) \div 2 = \tfrac{-1}{5} \div 2 = \tfrac{-1}{10}$ , and indeed $\tfrac{-2}{5} < \tfrac{-1}{10} < \tfrac{1}{5}$ . This always works because the mean of two numbers always lies strictly between them (as long as the two numbers are different), regardless of their signs or sizes.

Why does the chapter bother comparing rational numbers to whole numbers and integers so much instead of just teaching rational number rules directly?

The comparison is the whole point of the chapter's method: it shows you why rational numbers were invented (to fix specific gaps, like the failure of integers to be closed under division) and how to predict, without memorising a long list, which properties will hold. Once you know subtraction fails commutativity for integers, you can predict instantly that it will fail for rational numbers too, since integers sit inside the rationals — no separate proof needed. This comparative habit is genuinely useful revision technique: build a mental "closure and property table" across the three systems rather than memorising rational-number facts in isolation.