Se uma árvore binária T não estiver vazia, então há um nó r, chamado raiz de T, e os nós restantes podem ser divididos em dois subconjuntos disjuntos, a subárvore esquerda e a direita de r. O número de subárvores esquerda e direita vazias em uma árvore binária com n > 0 nós é n + 1.