Un arbre binomial d'ordre (noté ) est défini par induction de la façon suivante :
Voici par exemple , , , et :
(noté 
) est défini par induction de
la façon suivante :
est réduit à un seul noeud.
est construit de la façon suivante :
![\includegraphics[width=4cm]{chapitres/tas/recurrenceTasBinomial.eps}](img506.gif)
, 
, 
, 
et 
:
![\includegraphics[width=13cm]{chapitres/tas/exempleTasBinomial.eps}](img511.gif)