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