FANDOM


Omega star plus omega is the order type of the set produced by taking the reverse of omega (omega star), and then appending omega to the end. It is the order type of the integers.