节点是红色或黑色。

根节点是黑色。

所有叶子节点(NIL或空节点)都是黑色。

如果一个节点是红色的,则它的子节点都是黑色的。

从任一节点到其每个叶子节点的所有路径都包含相同数目的黑色节点。

在红黑树的表示中,通常会为每个节点提供一个父指针,这样在插入或删除节点时可以方便地找到父节点。但是,如果没有提供父指针,实现RB-INSERT操作将会稍微复杂一些。