性質1：每個節點要么是黑色，要么是紅色。
性質2：根節點是黑色。
性質3：每個葉子節點（NIL）是黑色。
性質4：每個紅色節點的兩個子節點一定都是黑色。 不能有兩個紅色節點相連。
性質5：任意一節點到每個葉子節點的路徑都包含數量相同的黑結點。
從性質5又可以推出： 性質5.1：如果一個節點存在黑子節點，那么該結點肯定有兩個子節點。不然走另一條路就會少一層黑色結點。