A se um nó é filho da raiz da árvore, então ele é preto.
B se um nó é preto, então pelo menos um dos seus filhos é vermelho.
C se um nó é a raiz da árvore, então ele é vermelho.
D se um nó é vermelho e não é a raiz da árvore, então seu pai é preto.
E as alturas das duas subárvores a partir de cada nó diferem no máximo em uma unidade.