Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 06:30:20 UTC
MATH.9:12 - Relations
Uses MATH.8: obtain the action, solution-preservation relation, input orbits and stabilizers.
Uses MATH.2: check independence when a calculation is defined on identified inputs; the stabilizer argument supplies the concrete independence proof here.
Connects with MATH.7: carry a computed answer through the appropriate inverse map, including its output interpretation.
Connects with MATH.13: use the existing unique-solution and output-obstruction deductions; this method also constructs the compatible rule.
Uses MATH.10 when optimization remains: construct admissible variations after symmetry has restricted a candidate.
Uses C.29 for another subject: recover which supplied attributes and outputs the mathematical choice represents.
Uses C.11.DUA when further information has a material cost: decide whether acquiring the distinction can improve the receiving choice.