== Свойства ==
Красно-чёрным называется бинарное поисковое дерево, у которого каждому узлу сопоставлена дополнительный аттрибут – цвет и для которого выполняются следующие '''свойства''':
# Каждый узел промаркирован красным или чёрным цветом # Корень и конечные узлы (листья) дерева – чёрные # У красного узла родительский узел – чёрный # Все простые пути из любого узла x до листьев содержат одинаковое количество чёрных узлов – black-height(x) # Чёрный узел может иметь чёрного родителя
== Высота красно-черного дерева ==
