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

Es sei ${}M$ eine Menge, es sei ${}I$ eine endliche Indexmenge und zu jedem  ${}i\in I$  sei eine Teilmenge  ${}M_{i}\subseteq M$  gegeben. Zu einer Teilmenge  ${}J\subseteq I$  setzen wir

${}M_{J}=\bigcup _{j\in J}M_{j}\,.$

Für jede Teilmenge  ${}J\subseteq I$  gelte

${}{\#\left(M_{J}\right)}\geq {\#\left(J\right)}\,.$

Dann gibt es eine injektive Abbildung

$f\colon I\longrightarrow M$

mit  ${}f(i)\in M_{i}$.