Arbres binaires de recherche

Définition 7.1.1   Soit $A$ un arbre binaire dont chaque noeud est muni d'une clé. $A$ est un arbre binaire de recherche si pour tout noeud $x$,

• $\forall y \in A_g(x)$, $cle(y) < cle(x)$
• $\forall z \in A_d(x)$, $cle(x) < cle(z)$

Pour davantage d'informations, voir [2].