More precisely, every extended tree transducer computes such a set, so that also this step is a characterization.
we obtain that τ is an evaluation of a tree transformation computed by an extended tree transducer, and moreover, for each extended tree transducer, the evaluation can be computed (up to a relabeling) by a STAG.