Uma árvore binária T é um conjunto infinito de elementos denominados nós ou vértices.

Uma árvore binária não pode ter duas subárvores vazias, enquanto o mesmo ocorre com árvores gerais.

Uma árvore estritamente binária é uma árvore binária em que cada nó possui somente 2 filhos.

Uma árvore binária, cuja raiz armazena o elemento R, é denominada árvore de busca binária se todo elemento armazenado na subárvore direita for menor que R, nenhum elemento armazenado na subárvore esquerda for menor que R e as subárvores esquerda e direita também forem árvores de busca binária.

A árvore binária que possui altura máxima é aquela cujos nós interiores possuem exatamente uma subárvore vazia. Essas árvores são denominadas zigue-zague.