MDLUL/arithmetisch repräsentierbar

Start=arithmetisch repräsentierbar

MDLUL/arithmetisch repräsentierbar

Ziel=Arithmetisch_repräsentierbar/N/Abbildung/Definition