Strom nazveme binární, pokud:
je zakořeněný,
každý vrchol má nejvýše dva syny a
u synů rozlišujeme, který je levý a který pravý.
| $l(v)$ a $r(v)$ | levý a pravý syn vrcholu $v$ |
| $L(v)$ a $R(v)$ | levý a pravý podstrom vrcholu $v$ |
| $p(v)$ | otec vrcholu $v$ |
| $T(v)$ | podstrom s kořenem $v$ |
| $h(T(v))$ | hloubka stromu $T(v)$ (počet hladin $T(v)$) |
| $|T|, |T(v)|, |L(v)|, |R(v)|$ | počet vrcholů stromu $T$, $T(v)$, $L(v)$, $R(v)$ |
Tabulka 3.1: Značení pro vrchol $v$ binárního stromu
Pokud vrchol $v$ nemá levého/pravého syna, položíme $l(v) = \emptyset$ / $r(v) = \emptyset$
Pokud vrchol $v$ nemá otce, položíme $p(v) = \emptyset$
Prázný strom je $T(\emptyset)$ a $h(T(\emptyset)) = 0$