MATH.6:12 - Relations

• Uses MATH.1 and MATH.2 when operations or classes are involved: construct permitted combinations and test whether the proposed identification preserves them.
• Connects with MATH.4: retain the dependence of a constructed witness on its input.
• Connects with MATH.5: a failed source equation can refute the proposed extension to identified expressions.
• Supplies B.5.RA and B.5.RR: use a mathematical failure in criticism and in revision of the affected argument.
• Uses C.29 for an external subject: establish what the mathematical failure means for that subject.
• Uses B.5.QD or C.11.DUA when continuation is the question: choose a worthwhile new problem or further inquiry from the result.