Biarkan menjadi pohon biner yang di-root. Setiap jalur dari akar ke daun memiliki panjang . Setiap simpul selalu memiliki simpul anak kiri dan kanan tetapi ada kemungkinan bahwa keduanya sama (Jadi selalu ada jalur yang mungkin). Ukuran dibatasi oleh . Sebuah simpul dengan simpul anak yang berbeda...