1. 節點是紅色或者黑色spa
2. 根節點是黑色排序
3. 每一個葉子的節點都是黑色的空節點(NULL)紅黑樹
4. 每一個紅色節點的兩個子節點都是黑色的。
5. 從任意節點到其每一個葉子的全部路徑都包含相同的黑色節點。