Definition 7.15
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 7 Geordnete Mengen/Abbildung/Ordnungsvolltreu/Definition