Definition: Supported meaning of this transfer

The algebraic construction is defined on the flat completion. Its supported host presentation consists of the same pairings and test actions, restricted to retained compact causal calculations and transported through $\iota$.

For $c\in {C_c}^{\infty }(\mathcal{O})$, set

The support contract is that every coordinate calculation needed by the chosen dressing test lies in $D_{\ast }$; interaction contributions outside $D_c$ do not enter its response.