赤黒木
ノードに赤か黒が割り当てられる
根は黒
赤いノードの子は黒
全ての
葉
から根へのパス上には,同じ個数の黒いノードがある