1. 每个节点要么是红色，要么是黑色。2. 根节点是黑色。3. 所有叶子（NIL节点）都是黑色。4. 如果一个节点是红色，则其两个子节点都是黑色。5. 从任一节点到其每个叶子的所有路径都包含相同数目的黑色节点。

这些性质确保了红黑树的平衡性，从而达到在最坏情况下保持树高和操作效率（如插入、删除、查找）的对数时间复杂度。