Kurs:Diskrete Mathematik (Osnabrück 2020)/Ordnung/Ordnungsvolltreu in Potenzmenge/Injektiv/Fakt/Faktreferenznummer