Necessary compatibility beyond one finite graph

These equations apply only when their maps and compositions are defined. The scalar identity ${u_{\mu }}^a-{u_{\mu }}^b=c_{ab}r$ neither defines $D$ nor verifies (eq:comparison-equation) on the generated sector.

A derivative-order bound also need not make the normalization space finite-dimensional: arbitrary smooth tangential coefficients multiplying a normal delta already give an infinite-dimensional space. This distinction is central in the supplied XV-F ambiguity discussion CheungXVF.