propiedad	enunciado formal	forma reducida
cerradura de la suma	x,y∈R ⇒ x + y∈R	+ es operacio binaria
cerradura de la multiplicacion	x,y∈R ⇒ x * y∈R	* es operacion binaria
asociativa de la suma	a + (b + c) = (a + b) + c	reacomodo
conmutativa de la suma	a + b = b + a	reacomodo
conmutativa de la multiplicacion	a * b = b * a	reacomodo
elemento inverso aditivo	a + (-a) = 0	cancelacion
elemento neutro aditivo	a + 0 = a	cancelacion
elemento inverso multiplicativo	a *(a−1) = 0	cancelacion
elemento neutro multiplicativo	a * 1 = a	cancelacion
asociativa de la multiplicacion	a * (b * c) = (a * b) * c	dilema del mosquetero
distributiva	a * (b + c) = a * b + a * c	dilema del mosquetero