Light edge crossing a cut
= Light edge crossing a cut
An <edge> of minimum <edge weight> among those crossing a specified <cut of a graph>. It exists when the crossing set is nonempty. Several tied edges can all be light; lightness does not imply uniqueness or membership in every <minimum spanning tree>.