Arborele binar se defineşte recursiv după cum urmează: a) un nod este un arbore binar; b) un nod ce conţine legături către alţi doi arbori binari este un arbore binar.