The set G is called the underlying set of the group (G, •)