Bonds Are Cocircuits of the Cycle Matroid is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let be a finite graph, and let be the cycle matroid of on ground set . A subset is a cocircuit of if and only if is a bond of , that is, a nonempty inclusion minimal edge cut of the form \begin{align } \delta G(X) = \{e \in E : e \text{.