Definition: Minimal aufspannender Baum

Sei ein zusammenhängender Graph.
Die Kanten seien außerdem mit Gewichten (in ) ausgestattet. Hierfür sei die Gewichtsfunktion.

Als minimalen aufspannende Baum bezeichnen wir denjenigen Spannbaum, der das niedrigste Gewicht hat. Also: