A maximal subgraph of an undirected graph such that any two edges in the subgraph lie on a common simple cycle.