. "A group is a set with an operation." . . .