The set {X}, equppoed with the operation * for which X * X = X is a group. It is called the *trivial group*.