A group is a set $G$ equipped with a binary operation $*$ that s...