MATH.16:12 - Relations

• MATH.1 constructs composable paths when the required object retains generating steps and their order.
• MATH.2 constructs quotients while preserving the selected operations and answers.
• MATH.5 extends generator assignments to operation-preserving maps and proves their uniqueness.
• MATH.7 transports structure through a bijection when a different representation is useful.
• B.5.FM and B.5.TU connect the working question, construction and use at the common reasoning level.
• C.29 and C.29.2 supply subject correspondence and computational formulation.