кожна вершина має нуль або рівно двох нащадків, тобто воно містить тільки повністю заповнені рівні.

 для кожного вузла кількість вузлів у його правому піддереві відрізняється від кількості вузлів у його лівому піддереві максимум на одиницю