Equivalence of definition by tree