# Why correlation functions are only defined as time-ordered ones?

I have one slight confusion with something that Blumenhagen & Plauschinn state in the book "Introduction to Conformal Field Theory: With Applications to String Theory". In page 24 regarding radial ordering they state:

Note that there is some ambiguity in Eq. (2.35) because we have to decide whether $$w$$ and $$\bar w$$ are inside or outside the contour $${\cal C}$$. However, from quantum field theory we know that correlation functions are only defined as a time ordered product. Considering the change of coordinates (2.23), in a CFT the time ordering becomes a radial ordering and thus the product $$A(z)B(w)$$ does only make sense for $$|z|>|w|$$. To this end we define the radial ordering of two operators as $$R(A(z)B(w)):=\begin{cases}A(z)B(w),\quad \text{for |z|>|w|},\\ B(w)A(z),\quad\text{for |w|>|z|}.\end{cases}$$

I'm puzzled by their claim that "from quantum field theory we know that correlation functions are only defined as a time ordered product".

I mean, I do understand that what we really need are the time ordered correlation functions. In particular they are what naturally appear in the LSZ reduction formula which allow us to obtain the $${\cal S}$$-matrix from correlation functions. Moreover, I do know that in the functional approach what we naturally get are time ordered correlation functions.

But for me, even though the non time-ordered ones are not useful and don't come out naturally in the path integral approach, that does not mean that they are ill-defined. Observe that the authors' claim is not that "we only care about time-ordered ones", he is claiming very clearly that only the time ordered ones are defined. He further confirms that when he says that, after translating to the plane, $$A(z)B(w)$$ only makes sense for $$|z|>|w|$$.

I'm clearly missing something very basic here. Why only time ordered correlation functions are defined? Why a product of two fields which is not time ordered does not make sense? In canonical quantization, for example, what would stop us from writing expressions like $$\phi(x)\phi(y)$$ for $$x^0 < y^0$$? It appears a valid product of operators in a Hilbert space to me.