Una estructura de datos que contiene cero o más nodos que se unen en una jerarquía. Si hay algún nodo, un nodo es la raíz; cada nodo excepto la raíz es el hijo de otro nodo una y sólo una, y cada nodo tiene cero o más nodos como niños.