MDLUL/erzeugter Präring

Start=erzeugter Präring

MDLUL/erzeugter Präring

Ziel=Mengenpräring/Definition