. . . "example, a group is a set furnished with the structure group operation." .