Un árbol es o bien vacío o consiste en una raíz y cero o más subárboles no vacíos formula_1, formula_2,…, formula_3, cada una de cuyas raíces está conectada por medio de una arista con la raíz.