Un arbre binaire est un arbre structure de données dans lequel chaque noeud a au plus deux enfants, qui sont appelés l’enfant gauche et droit de l’enfant . Une définition récursive en utilisant simplement la théorie des ensembles notions est qu'un (non vide) arbre binaire est un tuple (L, S, R), où L et R sont des arbres binaires ou l’ensemble vide et S est un si ensemble Singleton.