Arithmetisch repräsentierbar/Abbildung und Graph/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei

eine Abbildung und der zugehörige Graph, also die Menge

Zeige, dass genau dann arithmetisch repräsentierbar ist, wenn (als Relation) arithmetisch repräsentierbar

ist.