One Story, Four Sentences

Numbers that share one part-part-whole picture form a fact family. Parts 3 and 5, whole 8: two addition sentences, 3 + 5 = 8 and 5 + 3 = 8, and two subtraction sentences, 8 − 3 = 5 and 8 − 5 = 3. Watch where the whole sits: it ends the additions and starts the subtractions. A part is never taken from a part.

One special case. When the parts match — parts 4 and 4, whole 8 — the family shrinks to 4 + 4 = 8 and 8 − 4 = 4. Swapping equal parts just repeats the same sentence.

The family exists because addition and subtraction are inverse operations — each undoes the other. Add 3, then take 3 away, and you stand exactly where you started. So the single fact 5 + 3 = 8 can be read three more ways: 3 + 5 = 8 by swapping, and 8 − 3 = 5 or 8 − 5 = 3 by undoing.

This is a working tool, not a curiosity. Faced with 8 − 5, you need not take anything away: ask instead 5 plus what makes 8? Every subtraction you will ever meet can be answered by an addition you already know.

All four sentences record one relation among three numbers: parts a and b, whole c, bound by a + b = c. The family is that single truth read from four directions — solved for the whole, or for either part. Solving 5 + x = 8 by computing 8 − 5 is the entire method of equation-solving in miniature: rewrite the relation until the unknown stands alone.

The rewriting is legal because subtraction is defined as addition's inverse: c − b is the number that added to b gives c, and cancellation in the counting numbers guarantees there is only one such number. Uniqueness is what lets one story pin down all four sentences.

The parts are 3 and 5. The whole is 8. Put the parts together: 3 + 5 = 8. Swap them: 5 + 3 = 8.

Now take away. Take the 3 red fish from 8: the 5 blue stay. 8 − 3 = 5. Take the 5 blue: 8 − 5 = 3. Four sentences, one bowl.

In a group, every equation a + x = c has exactly one solution, so families of this kind come for free. ℕ is not a group — only a cancellative monoid — so the family exists precisely when neither part exceeds the whole: cancellation (a + b = a + c implies b = c) supplies uniqueness, and the ordering supplies existence.

The deeper pattern is a pair of inverse bijections: for fixed b, the map x ↦ x + b sends {all naturals} onto {naturals ≥ b}, and y ↦ y − b sends it back. Undoing here is not a figure of speech; it is a bijection with a stated domain, and the family's four sentences are its bookkeeping.

Formally the family is the truth set of the ternary relation R(a, b, c) defined by a + b = c, closed under the symmetry that swaps a and b. Commutativity makes the relation symmetric in its parts; the two subtraction sentences are its two residuals. In a residuated structure, x + b ≤ c exactly when x ≤ c − b: subtraction is the right adjoint of translation, and a fact family is that adjunction evaluated at a single point.

Cognitive arithmetic leans on the same identification: fluent adults appear to retrieve one stored relation and derive the other three sentences rather than storing four separate facts. What a first-grader meets as one story, four sentences is the claim that memory should store equivalence classes — the curriculum's first genuine act of algebraic compression.