LEGGI DINAMICHE

Le leggi monoidi riguardano la somma:

1. $P+Q \:=\: Q+P \qquad$(commutatività)
2. $P+(Q+R) \:=\: (P+Q)+R \qquad$(associatività)
3. $P+nil \:=\: P \qquad$($nil$ è l'elemento neutro per la somma)
4. $P+P\:=\:P$