Un árbol rojo-negro es un tipo abstracto de datos.