Una operación binaria <math>*</math> sobre un conjunto <math>S</math> se dice '''asociativa''' si
{{Eqn|<math>(a*b)*c=a*(b*c)</math>}}
para cualesquiera <math>a,b</math> y <math>c</math> dde <math>S</math>. Cuando para cualesquiera <math>a,b</math> de <math>S</math> se cumple <math>a*b=b*a</math>, se dice que la operación <math>*</math> es '''conmutativa'''. Por lo regular usaremos el símbolo <math>+</math> para representar operaciones que sean conmutativas. En general, cuando hagamos uso de los símbolos <math>\cdot</math> o <math>+</math> para representar operaciones diremos que nuestra notación es, respectivamente, '''multiplicativa''' o '''aditiva'''.
