Baum/Blatt/Hinwegnahme/Fakt

Aus Wikiversity

Es sei ein Graph und ein Blatt des Graphen.

Dann ist genau dann ein Baum, wenn ebenfalls ein Baum ist.