Rückrichting.
\( f: C \to Bi(f) \) ist eine Bijektion auf eine Untermenge also |C| ≤ |D|.
Hinrichtung:
Es exist. eine Bij. auf eine Untemenge, diese liefert die gewünschte Injektion.
1. Die Identität ist injektiv.
2. Die Aussage ist falsch: \( f:\{1,2\} \to \{1\} \quad x \mapsto 1 \) ist surjektiv mit |C|>|D|