fpf.tools
Library / Mathematical Thinking DPF
Jump to passage
In this reading
Source · lines 953–959

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 10:00:09 UTC

MATH.1:12 - Relations

  • Uses FPF B.5.RC when needed: recover an unfamiliar source’s objects and construction rules before choosing generators.
  • Supplies MATH.2: paths and composition can be the objects and operation whose identification is tested.
  • Connects with FPF C.29 and B.5.MPC: carry a mathematical path or obstruction to an interpreted subject, and revisit the subject formulation when the correspondence fails.
  • Connects with FPF B.5.QD and C.39.RO: a missing connection can motivate a new generating operation or a new mathematical question.