Link to current text
MATH.13:12 - Relations
- C.29 establishes the mathematical interpretation and its return to the working subject.
- C.29.1 constructs the preservation and recovery of a result through a changed representation.
- MATH.10 derives consequences from changes that retain constraints; symmetry additionally preserves the specified structure or criterion.
- C.29.2 and C.29.3 connect a computation with its represented operations and realization.
- A.3.3.TR constructs state change from the available laws. B.5.MPC connects that physical account with mathematical and computational contributions.
- B.5.RR revises reasoning after a premise changes. C.39 helps obtain a missing construction or reformulate an obstructed result.