You were told \mathbb{Z} \subset \mathbb{Q}. But 7 really doesn't feel like a fraction. There's no division, no numerator-and-denominator, nothing broken into pieces. So you wonder: is 7 actually a rational number, or are textbooks just technically right because 7 = \tfrac{7}{1}? The honest answer is: yes, 7 is a genuine rational, and the reason is not sleight of hand — it is about what "rational" means.

The definition, read carefully

A rational number is any number that can be written as \dfrac{p}{q}, where p and q are integers and q \neq 0.

Notice the wording: "can be written." The definition is about existence of a fraction form, not about a number coming with a fraction form painted on it. \tfrac{7}{1} is a perfectly legal fraction (7 and 1 are integers; 1 \neq 0), and it equals 7. So 7 can be written as a fraction. So 7 is rational. That is not a trick — that is the definition doing exactly what it was designed to do.

If the definition had said "a number expressed as p/q in lowest terms with q \geq 2," then yes, integers would be excluded. But no sensible number system defines "rational" that way, because it would mean the rationals are not closed under addition: \tfrac{1}{2} + \tfrac{1}{2} = 1 is an integer, so the sum of two rationals would not be rational. That breaks everything. The set has to contain the integers for arithmetic to work.

Why \mathbb{Z} \subset \mathbb{Q} was designed

The rationals were invented to extend the integers so division is always possible (except by zero). The construction — due to nineteenth-century mathematicians but implicit in Indian and Greek arithmetic long before — is this:

Form ordered pairs (p, q) of integers with q \neq 0. Call two pairs equivalent if (p_1, q_1) \sim (p_2, q_2) whenever p_1 q_2 = p_2 q_1. A rational number is an equivalence class of such pairs. The class of (p, q) is written \dfrac{p}{q}.

Under this definition, the class of (7, 1) contains (7,1), (14, 2), (21, 3), (-7, -1), \dots — all names for the same rational. The class of (3, 1) contains (3, 1), (6, 2), (9, 3), \dots. And the class of (0, 1) is the rational zero.

Now the integer n is identified with the class of (n, 1). This identification preserves addition and multiplication, and it makes \mathbb{Z} sit inside \mathbb{Q} as a genuine subset. Why identification? Because (n, 1) behaves exactly like n under rational arithmetic: \tfrac{n}{1} + \tfrac{m}{1} = \tfrac{n+m}{1} and \tfrac{n}{1} \cdot \tfrac{m}{1} = \tfrac{nm}{1}, matching integer addition and multiplication one for one.

So 7 \in \mathbb{Z} and 7 \in \mathbb{Q} are the same statement about the same object — not a coincidence, but the whole reason the construction of \mathbb{Q} was done this way.

The picture

Integers embedded as a subset of the rationalsA horizontal number line from minus three to three with integer tick marks and rational points at halves and thirds. The integer points are drawn as larger red dots to highlight that they lie among the rationals rather than outside them. Below the line, arrows show that the integer two is identified with the fraction two over one.−3−2−101231/2−1/23/22 = 2/1
The integers (large red dots) sit on the same line as the rationals (small dots). They are not a different species — they are rationals with denominator $1$. The dashed arrow shows the identification $2 = \tfrac{2}{1}$ explicitly.

The decimal sanity-check

Every rational has a terminating or recurring decimal expansion. What about integers?

Any integer has decimal expansion "the integer itself, then infinitely many zeros," which is a terminating decimal. Terminating decimals are rational. So integers are rational. Why: a terminating decimal with k digits past the point equals (digits as integer) / 10^k, which is a ratio of integers. For an integer n, k = 0 and the fraction is just n/1.

Different-looking rationals, same number

All of these name the integer 3:

3 \;=\; \dfrac{3}{1} \;=\; \dfrac{6}{2} \;=\; \dfrac{-9}{-3} \;=\; \dfrac{300}{100}.

Each entry is a valid p/q with integer p, nonzero integer q. They are all the same rational number — the rational that also happens to be the integer 3. The name "3" is just the shortest spelling.

And zero: 0 = \tfrac{0}{1} = \tfrac{0}{2} = \tfrac{0}{-17}. Zero is a rational (class of pairs with p = 0), and it is also an integer. Same story.

So why does "7 is rational" still feel wrong?

Because in daily Indian school language, "rational" often carries the unspoken meaning "fraction that isn't an integer." Teachers contrast rationals with integers to make the category of fractions feel distinct. That is a pedagogical shortcut, not the mathematical definition. In a maths sentence, "rational" means any element of \mathbb{Q}, which includes:

All of them. When a question says "classify -5 as natural / whole / integer / rational," the correct answer is that -5 is an integer and a rational — not that it is one at the expense of the other. Membership is not exclusive.

The one case that fails

The only integer-ish thing that is not rational is \sqrt{-1} = i. It is not in \mathbb{Z} to begin with — it is in \mathbb{C} and nowhere smaller. And on the other side, irrationals like \sqrt{2} and \pi are in \mathbb{R} but not \mathbb{Q}. Those are the genuine failures of rationality. An integer is never in that camp.

Short answer: yes, every integer is a rational number. Not as a technicality — by design.

This satellite sits inside Number Systems.