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 árvores estritamente binária é uma árvore binária em que casa 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.