Baum/Kontraktion/Baum/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Baum und seien Punkte. Es sei die Äquivalenzrelation auf , bei der und zueinander äquivalent seien und ansonsten nur jeder Punkt zu sich selbst. Zeige, dass genau dann ein Baum ist, wenn

ist.