Definition

This is an explicit condition on actual distributional polynomial functionals. It neither assigns values to failed contractions nor adjoins independent symbols.

Any compact-distribution polynomial depending only on the scalar field belongs to ${\mathcal{P}}_{\Sigma }$, because all its metric derivatives are zero. This observation is an admission statement, not a Wick multiplication theorem for arbitrary scalar distributions.