die Schnittstelle ,,Zahlen``

Operationen für Zahlen: 0, 1,(+),(-),(*),(/)

Zusicherungen: Kommutativ-, Assoziativ-, Distributiv-Gesetze!

Die Mathematiker haben dafür (schon längst) ein sehr genaues Design:

• M mit assoziativem + heißt Halbgruppe,
• Halbgruppe mit neutraler 0 heißt Monoid,
• M mit + und * heißt Halb-Ring, falls
  • (M, +) kommutative Halbgruppe
  • (M,*) Halbgruppe
  • Distributivgesetze gelten
  http://mathworld.wolfram.com/Semiring.html