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

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 09:55:09 UTC

MATH.7:12 - Relations

  • Uses MATH.4: extend preservation through finite expression construction.
  • Connects with MATH.5: distinguish extending generator images from constructing structure through an already reversible map.
  • Returns to MATH.2 when the representation combines elements: construct the quotient and determine the retained operation.
  • Uses MATH.6 for a failed preservation claim: exhibit the incompatible input or missing inverse direction.
  • Specializes the mathematical construction used by C.29.1: construct operations, relations and laws through a bijection. Use C.29 for their interpretation in another subject.
  • Connects with A.6.3.RT.OE: use the available expression rules to make the transported calculation operable; invention of a notation language is a further notational method.