An ordered tree of order k ≥ 0, that is B_k, whose root has k children where the i^th child is binomial tree of order k-i.