Order type omega one

Omega one is the smallest uncountable ordinal number. It can be constructed from the set of all countable ordinals (i.e. ordinals with a cardinality of aleph null), ordered according to the set inclusion relation.