Definition: Constrained admissibility

Let ${\mathcal{C}}_{\mathrm{allow}}\subseteq \mathcal{C}$ be the set of corrections satisfying all declared constraints: domains, normalization, reality, subsidiary conditions, infrared bounds, and any required physical positivity or quotient conditions. It need not be a vector space or an affine space.