The order type of the naturals in this usual ordering is defined as $\omega$. Other well orderings are possible by permuting the elements and using a different binary function that encodes the ordering. The equivalence class of each of these is given by a countable ordinal
