The preparation residual belongs to the match

Changing products, domains, or identifications requires compatible transport before this proposition applies. In gauge-fixed field theory, positivity must be stated on the physical algebra or representation. Formal coefficientwise expectations alone are not an ordinary positive measurement law.