In axiomatic set theory, a function f : Ord → Ord is called normal (or a normal function) if it is continuous (with respect to the order topology) and strictly monotonically increasing. This is equivalent to the following two conditions: For every limit ordinal γ (i.e.
In axiomatic set theory, a function f : Ord → Ord is called normal (or a normal function) if it is continuous (with respect to the order topology) and strictly monotonically increasing. This is equivalent to the following two conditions: For every limit ordinal γ (i.e.
Source: Wikipedia "Normal function" · CC BY-SA 4.0
Share this article: X · Bluesky