The constructed truncated partial product

This formulation does not assert that every pair of elements of ${\mathcal{P}}_{\Sigma }{\otimes }_{\mathbb{C}}\mathbb{C}[\hslash ]/({\hslash }^4)$ is admissible, or that the declared domain is closed under every intermediate multiplication.