Minimum Spanning Tree for vægtet, forbundet og urettet graf er et spændingstræ med vægt mindre end eller lig med vægten af hvert andet spændingstræ.