Die rekursive Definition scheint nämlich eine Doppelrolle zu spielen. Und zwar als die einer rekursiven Definition & als die einer algebraischen Rechnungsregel (von der [a|A]rt des associativen Gesetzes.)