MDLUL/offene Einbettung

Start=offene Einbettung

MDLUL/offene Einbettung

Ziel=Mengentheorie/Einbettung/Definition