Sobre as árvores balanceadas do tipo vermelho-preto, é...

se um nó é filho da raiz da árvore, então ele é preto.

se um nó é preto, então pelo menos um dos seus filhos é vermelho.

se um nó é a raiz da árvore, então ele é vermelho.

se um nó é vermelho e não é a raiz da árvore, então seu pai é preto.

as alturas das duas subárvores a partir de cada nó diferem no máximo em uma unidade.