Roten i treet er svart Om en node er rød, må barna være svarte Alle stier fra en node til en -referanse må inneholde det samme antallet svarte noder.