Para todo x=(x), y=(y) y z=(z) se cumple que (x + y) + z = x + (y + z).