A tree that connects all vertices in a weighted graph such that the sum of the edge weights is minimized.