MDLUL/arithmetisch repräsentierbar (Relation)

Start=arithmetisch repräsentierbar (Relation)

MDLUL/arithmetisch repräsentierbar (Relation)

Ziel=Arithmetisch_repräsentierbar/N/Relation/Definition