Die rekursive Definition scheint nämlich eine Doppelrolle zu spielen. Und zwar als rekursive Definition & als algebraische || die einer rekursiven Definition & die einer algebraischen Rechnungsregel (von der Art des assoziativen Gesetzes.)