Endliche Menge/Numerische Bedingung/Injektive Abbildung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Paarungssatz

Es sei eine Menge, es sei eine endliche Indexmenge und zu jedem sei eine Teilmenge gegeben. Zu einer Teilmenge setzen wir

Für jede Teilmenge gelte

Dann gibt es eine injektive Abbildung

mit .