Más formalmente, un árbol sintáctico es un grafo que representa esta relación de orden parcial.