Endliche Menge/Numerische Bedingung/Injektive Abbildung/Fakt

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 .