Kruskal's Algorithm: Cycle-Creating Edges Are Rejected

Kruskal sorts edges by weight and accepts an edge only if its endpoints lie in different components; otherwise it would close a cycle and is rejected.