Trivial group

The trivial group is distinct from the empty set, which has no elements, hence lacks an identity element, and so cannot be a group.