Matroid

Eine kombinatorische Struktur (E, I) auf einer endlichen Grundmenge E mit einer Familie I unabhängiger Teilmengen, die Axiome (Heredität und Austausch) erfüllt und damit die lineare Unabhängigkeit in Vektorräumen und die Zyklusfreiheit in Graphen abstrahiert.