Is this weakening of the definition of a group equivalent to the definition of a group? – math.stackexchange.com

Throughout the question, let $X$ denote a set together with a binary operation $\cdot$ on it. The below is the standard definition of a group structure on $X$ that I first saw:

(G1)

$x \cdot(y\cdot ...