 By the above reasoning the map exists and is unique since least elements of subsets of wellordered sets are unique.It is, by elementary group theory, injective.Finally, define a wellordering on by if .