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
Johannes Waldmann
2004-06-30