Un arbre binaire est un ensemble de n uds qui est soit vide, soit composé d'une racine et de deux arbres binaires disjoints appelés sous-arbre droit et sous-arbre gauche.