. "For example, a group is an set together with operations satisfying a certain collection of axioms." . . . .