A group is a set with a composition operation