Règles de calcul
Définitions:
- a: Nombre a
- b: Nombre b
- c: Nombre c
Identité additif
a + 0 = a
Inverse additif
a + (-a) = 0
Associative l'addition
(a + b) + c = a + (b + c)
Commutativité l'addition
a + b = b + a
Soustraction
a - b = a + (-b)
Identité multiplicatif
a * 1 = a
Inverse multiplicatif
a * (1/a) = 1 (if a is not 0)
Zéro élément multiplication
a * 0 = 0
Associative multiplication
(a * b) * c = a * (b * c)
Commutativité multiplication
a * b = b * a
Commutative loi distributive
a(b + c) = ab + ac
