Whitney Abstract Duality Theorem is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let and be connected graphs with the same labelled edge set . Suppose that, under the identity map on , the cycles of are exactly the bonds of , and the bonds of are exactly the cycles of . Then has a cellular embedding in the sphere for.