==Удаление минимума==
Поддерживаем инвариант: вершина или левый ребенок вершины красный.
Заметим, что если левый потомок вершины и левый потомок левого потомка вершины черные, необходимо переместить левого потомка вершины для сохранения инварианта.[[File:MoveRedLeftEasy.png.png|310px400px|thumb|upright|Перемещение красного потомка. Простой случай]][[File:MoveRedLeftNoEasy.png|310px400px|thumb|upright|Перемещение красного потомка. Сложный случай]]
===Псевдокод===
'''Node''' moveRedLeft(Node h)
