MATH.5:12 - Relations

• Uses MATH.1 where the source is a path construction: assign images to its objects and generators, then extend to its identities and permitted composites.
• Uses MATH.4: construct the evaluation on finite expressions and prove its recursive clauses and uniqueness.
• Uses MATH.2 when equations identify expressions: obtain representative-independent evaluation on the quotient.
• Connects with FPF C.29: use the mathematical map in a subject correspondence and recover the result needed there.
• Connects with Method Engineering: a mathematical account of composed methods can use the affine-effect construction; ME.7 develops the proposed composition account; ME.12 checks its claims and returns a correction to the description or construction that needs it.