Kurs:Diskrete Mathematik (Osnabrück 2020)/Endliche Menge/Numerische Bedingung/Injektive Abbildung/Fakt/Faktreferenznummer