A set of edges that connects all the vertices of the input graph and has the least possible total weight.