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

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 08:26:30 UTC

MATH.2:12 - Relations

  • Uses or follows MATH.1: a generated path structure provides objects and composition to identify.
  • Connects with FPF C.29.1: use the quotient and its map in a wider result correspondence; check the subject interpretation separately.
  • Connects with FPF A.3.3.PI: a description can lose a distinction needed to predict continuation; the present method supplies the quotient-side operation and domain test.
  • Connects with FPF B.5.RR and B.5.QD: revise the argument after a changed operation, or turn a counterexample into a new construction question.