Let X be a non-empty set and G a group.
设X是一个非空集合，G是一个群。