Edge set respecting a cut (source code)

= Edge set respecting a cut

An <edge set> respects a <cut of a graph> when none of its <edges> crosses that cut. In the <minimum spanning tree cut property>, this guarantees that exchanging a crossing tree edge cannot remove an edge already committed to the partial solution.