Em uma BST, o valor de qualquer nó é sempre menor que o valor de seus filhos.

Em uma BST, todos os nós têm no máximo dois filhos.

Em uma BST, a soma dos valores de todos os nós à esquerda de um nó é menor que a soma dos valores de todos os nós à direita.

Em uma BST, a altura da árvore é sempre O(log n).

Em uma BST, os valores de todos os nós são armazenados em posições contíguas de memória.