 However these properties are not equivalent.Namely, it is possible for sets which cannot be well-ordered to have a group structure.For example, if formula_1 is any set, then formula_2 has a group structure, with symmetric difference as the group operation.