Un árbol ordenado de orden k ≥ 0, que es B _k, cuya raíz tiene k niños donde el i ^th niño es Árbol binomial de orden k-i.