Group theory
A simple example of a group is the set of integers (called Z) with the addition operator +. This group is called G = (Z, +). Each of the required conditions is true of G, so G is a group. If we replace • with the + sign, then we can easily check that these conditions are true: