Endliche Menge/Numerische Bedingung/Injektive Abbildung/Fakt/Beweis/Aufgabe