MATH.17:12 - Relations

• MATH.16 constructs function objects, evaluation, products and maps selected by their required uses.
• MATH.1 retains generating steps and their order; MATH.5 extends an assignment to generators through the operations it must preserve.
• MATH.2 establishes when an identification of operations supports the proposed further operations.
• MATH.7 transports structure through a bijection. Comparing broader mathematical accounts uses interpretations of their objects, operations and assertions.
• MATH.11 and MATH.13 develop invariant and symmetry consequences once the transformations are specified.
• B.5.FM, C.29 and C.29.2 connect the mathematical construction with a working question, subject correspondence and computational use.