Covariance of time-ordered products implies local commutativity of fields

We formulate Lorentz covariance of a quantum field theory in terms of covariance of time-ordered products (or other Green’s functions). This formulation of Lorentz covariance implies spacelike local commutativity or anticommutativity of fields, sometimes called microscopic causality or microcausality. With this formulation microcausality does not have to be taken as a separate assumption.