Definition:Group Product

Definition
Let $\left({G, \circ}\right)$ be a group. The operation $\circ$ is referred to in this context as the group product or just product.