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