Uma árvore binária onde o equilíbrio de cada subárvore, ρ(T'), é delimitado por α ≤ ρ(T') ≤ 1-α.