Η set
In mathematics, an η set is a type of totally [ordered set] introduced by that generalizes the order type η of the rational numbers.
Definition
If is an ordinal then an set is a totally ordered set in which for any two subsets and of cardinality less than, if every element of is less than every element of then there is some element greater than all elements of and less than all elements of.Examples
The only non-empty countable η0 set is the ordered set of rational numbers.Suppose that κ = ℵα is a regular cardinal and let X be the set of all functions f from κ to such that if f = 0 then f = 0 for all β > α, ordered lexicographically. Then X is a ηα set. The direct limit of all these orders is isomorphic to the class of surreal numbers.
A dense totally ordered set without endpoints is an ηα set if and only if it is ℵα saturated.
Properties
Any ηα set X is universal for totally ordered sets of cardinality at most ℵα, meaning that any such set can be embedded into X.For any given ordinal α, any two ηα sets of cardinality ℵα are isomorphic. An ηα set of cardinality ℵα exists if ℵα is regular and Σβ<''α 2ℵβ'' ≤ ℵα.