I know the meaning of associative binary operation. I know the meaning of closed under a binary operation. Does closed under an associative product means:
$$ a*(b*c) \in G \implies (a*b)*c \in G$$
I know the meaning of associative binary operation. I know the meaning of closed under a binary operation. Does closed under an associative product means:
$$ a*(b*c) \in G \implies (a*b)*c \in G$$
(closd under associative product *) = (closed under product *) + (product * is associative).