Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 10:17:34 UTC · last check 2026-10-03 10:19:27 UTC
MATH.8:12 - Relations
Uses MATH.1 and MATH.5: compose generating transformations and construct an action that respects their relations.
Uses MATH.4: extend preservation through finite compositions and justify the finite-closure result.
Uses MATH.2: decide which further operations remain defined on orbit classes.
Connects with MATH.6: exhibit a changed condition or a counterexample to a completeness claim.
Connects with MATH.7: compare an arbitrary representation change with an action preserving a given structure.
Uses C.29 for another subject: recover what the mathematical transformation and returned solution mean there.
Uses MATH.13 when the requested answer is unique or must be chosen equivariantly: obtain its fixed-point restriction or an obstruction under the stated premises.
Uses B.5.QD and C.11.DUA when continuation matters: choose a useful missing family, new transformation or further calculation.