Un arbore este o multime de elemente numite noduri sau vârfuri pentru care:
Un arbore binar este un arbore în care un nod are maxim doi fii. Arborii binari ordonati reprezinta un caz particular al arborilor binari, în care fiecare nod contine o informatie distincta numita cheie, cu proprietatea ca, pentru fiecare nod , toate nodurile din subarborele stâng au cheia mai mica decât cheia lui si toate nodurile din subarborele drept au cheia mai mare decât cheia lui . Arborii binar ordonati se numesc si arbori de cautare.
Principalele operatii asupra arborilor binar ordonati, prezentate în continuare, sunt: cautarea unui nod în arbore, inserarea unui nod în arbore, stergerea unui nod din arbore si parcurgerea arborelui. Se vor prezenta algoritmii recursivi pentru realizarea acestor operatii.