 This contradiction shows that there is no group structure on the set .If a set is such that it cannot be endowed with a group structure, then it is necessarily non-wellorderable.Otherwise the construction in the second section does yield a group structure.