  In covariant metric theories of coupled gravity-matter systems the necessary
and sufficient conditions ensuring the existence of a Killing vector field are
investigated. It is shown that the symmetries of initial data sets are
preserved by the evolution of hyperbolic systems.
