Operator product expansions as a consequence of phase space properties

The paper presents a model-independent, nonperturbative proof of operator product expansions in quantum field theory. As an input, a recently proposed phase space condition is used that allows a precise description of point field structures. Based on the product expansions, we also define and analyze normal products (in the sense of Zimmermann).