Uma árvore binária é um conjunto finito de elementos que está vazio ou é particionado em três subconjuntos disjuntos. O primeiro subconjunto contém um único elemento, chamado raiz da árvore. Os outros dois subconjuntos são, em si, árvores binárias, chamadas de subárvores esquerda e direita da árvore original. Cada elemento de uma árvore binária é chamado nó da árvore. Estas árvores podem ainda ser classificadas em: estritamente binária, binária completa ou binária quase completa, conforme Tenenbaum, Langsan e Augenstein. Considere as seguintes árvores binárias:
