(i) La operación es asociativa, o sea, para todo x, y, z en G se cumple que