Lemma 7.16
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 7 Ordnung/Ordnungsvolltreu in Potenzmenge/Injektiv/Fakt