MATH.7:7 - Conformance Checklist

• The receiving question determines the operations, constants and relations to carry.
• Both inverse equations hold on the sets used by the result.
• Each receiving operation uses the appropriate input and output maps, including transported domains for partial operations.
• The claimed laws concern the transported structure or operations shown to coincide with it.
• The calculation translates its parameters and returns a result of the required kind.