Unter einer Wurzel versteht man bei gerichteten Bäumen denjenigen Knoten, von dem aus alle anderen Knoten im Baum erreichbar sind und der selbst von keinem anderen Knoten aus erreichbar ist. Eine Wurzel ist somit der einzige Knoten in einem Baum, der keinen Vorgänger hat. Zeichnet man einen Baum, so ist die Wurzel immer der oberste Knoten des Baumes. Bäume haben in der Informatik immer genau eine Wurzel. Zerlegt man den ursprünglichen Baum in mehrere Teilbäume, so haben auch die entsprechenden Teilbäume wieder genau eine bestimmte Wurzel. Verallgemeinert man den Begriff der Wurzel auf allgemeine Graphen, so spricht man auch von Quellen.