Matroid

Zu einer endlichen Menge heißt eine Teilmenge

ein Matroid, wenn folgende Bedingungen erfüllt sind.

  1. Es ist .
  2. Aus und folgt .
  3. Wenn mit

    so gibt es ein derart, dass .