Definition: Isomorphie von Wurzelbäumen

Seien und zwei Wurzelbäume.

Wir nennen und isomorph, wenn es eine bijektive Abbildung gibt, sodass

und darüber hinaus gilt, dass (also, dass die jeweiligen Wurzeln einander entsprechen).