Endliche Menge/Numerische Bedingung/Injektive Abbildung/Fakt/Name/Inhalt

Aus Wikiversity

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 .