Kreismatroid M(G) E sind die Kanten eines Graph und I ist eine Auswahl an Kantenmengen, die zusammen mit den Knoten des Graphen einen Wald bilden.