Cocircuits of a Graphic Matroid Are Bonds is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let be a finite graph, and let be its cycle matroid on ground set . A subset is a cocircuit of , equivalently a circuit of the dual matroid , if and only if is a bond of , that is, a nonempty cut that is minimal under inclusion among.