A class bijection between the universe and the ordinals can be used to define a global well-ordering...