Proposition - Hinzufügen oder Löschen von Blättern ist strukturerhaltend

• Involvierte Definitionen:
  • Baum
  • Blatt
• Veranstaltung: AlMa
• Referenz: @herzogWiSe22

⠀

Proposition: Hinzufügen oder Löschen von Blättern ist strukturerhaltend

Sei ein Baum.

Fügt man Blätter zu hinzu oder entfernt diese, so ist weiterhin ein Baum.

Für Knoten, die keine Blätter sind, gilt das allerdings nicht.