A mathematical definition draws an exact boundary: everything inside it counts, everything outside doesn't, with no fuzzy edge. Reading one the way you'd skim a paragraph — catching the gist and moving on — is the single most common way a student misapplies a term two chapters later. This section is entirely about slowing down enough to catch every word a definition is actually making do work.
Reading a definition is closer to reading a legal contract than reading a story. A contract's meaning can hinge entirely on one "or" that should have been "and." Nobody skims a contract before signing it. A mathematical definition deserves that same suspicion of every word. This is not because mathematicians enjoy being difficult. The definition is the entire rule, with no surrounding context to fall back on if you miss a word.
Three habits catch almost every misreading. First, find every quantifier, spoken or silent — "n is even if n=2k for some integer k" hides the word some (\exists); missing it, a reader might think k is fixed rather than merely required to exist. Second, check the direction of every inequality and implication — a < b is not b < a, and "if P then Q" is not "if Q then P" (Chapter 2 names this mistake explicitly). Third, note every restriction on the variables — "for integers a,b" silently excludes a=\frac12 from ever being considered at all, not merely from satisfying the definition. Applying all three habits together is slower than reading a paragraph, and that's the point: a definition read at story-skimming speed is the single most common source of a proof that looks fine on paper but breaks on an example the reader never checked because they never noticed it was allowed.
Reconstruct the definition of divides
Fill in the two missing pieces of the definition from memory or by re-reading section 3.
Loading interactive…
Does this example satisfy the definition of divides
Using the exact definition from section 3 (b divides a means a = bk for SOME integer k), sort each claim by whether it's actually true.
Loading interactive…
Worked example
Catch a missing quantifier
-
1
A student claims: "n divides every integer a if a=nk for an integer k." Spot the missing word.
-
2
Compare this to the real definition in §3: "b \mid a if there exists an integer k with a=bk." The student's version dropped "there exists."
-
3
Without "there exists," the sentence reads as if k must work for every choice, which is a wildly different (and far stronger, almost always false) claim than "some particular k makes it work."
-
4\boxed{\text{Missing word: "there exists" (an existential quantifier)}}
This exact mistake — silently treating "some" as "every," or vice versa — is precise enough to have its own name once Chapter 3 introduces quantifiers formally.
Loading interactive…
Worked example
Catch a reversed condition
-
1
A student claims: "47 = 5q+r satisfies the Division Algorithm's remainder condition whenever r \le 5." Spot the error against the actual theorem in §3.
-
2
The actual condition from the Division Algorithm is 0 \le r < 5 — two separate bounds, and the upper one is strict (r<5, not r\le5).
-
3
The student's version allows r=5, which the real theorem forbids — 47=5(8)+5 technically satisfies r\le5 but violates r<5, and it's not the theorem's guaranteed unique answer (q=9, r=2 is).
-
4\boxed{\text{Error: } r \le 5 \text{ should be the strict } r < 5}
Where this goes next
Every later chapter
This section teaches no new mathematics on its own — it's a magnifying glass pointed at every definition still to come. A misread definition of "one-to-one" in Chapter 7, or "equivalence relation" in Chapter 8, produces confidently wrong answers that look like careless arithmetic mistakes but are actually reading mistakes made three sentences earlier. The habit this section builds — find the quantifier, check the direction, note the restriction — pays off in literally every chapter after this one.
Check your understanding (counts toward your progress)
A claim states "if n is prime then n is odd." Which reading correctly identifies the exception this misses?
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
2 is the one even prime -- reading the claim carefully against this specific case reveals it is false as stated.
Why does a definition's restriction on variables matter (e.g. "for integers a, b")?
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
A stated restriction (e.g. "for integers") rules out non-integer values from the definition entirely, not merely from satisfying it.
The Division Algorithm requires 0 \le r < b. A student writes 0 \le r \le b instead. What changed?
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
Changing < to <= incorrectly permits r=b, which the actual theorem forbids -- a small notational slip with a real mathematical consequence.
Which habit catches the most misreadings of a new definition?
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
These three checks -- quantifiers, direction, restrictions -- catch the overwhelming majority of definition misreadings.