Kritériumok:
- Minden elem piros, vagy fekete
- A gyökér elem fekete
- Ha egy elem piros, a gyerekeinek feketének kell lennie
- Minden levélnek vannak fekete referencia elemei (ezek a gyakorlatban ugyan azok a Node pointerek)
Tulajdonságok:
- Maximum 2 forgatásra van szükség beillesztés, vagy törlés után
- A balance factor csak lehet