Start=arithmetisch repräsentierbar (Abbildung)
Ziel=Arithmetisch_repräsentierbar/N/Abbildung/Definition