|
|
|
|
normal (ordinal) function
|
(Definition)
|
|
Definition 2 A function
 is order preserving if and only if for each
 such that
 it follows that
 .
Definition 3 A function
 is a normal function if and only if  is continuous and order preserving.
|
"normal (ordinal) function" is owned by florisje.
|
|
(view preamble)
| Also defines: |
continuous (for ordinal functions), order preserving (for ordinal functions), normality, normal function |
| Keywords: |
ordinals, ordinal arithmetic, order preserving, continuous, normal function, normal, normality |
|
|
Cross-references: normal, order, continuous, function
This is version 4 of normal (ordinal) function, born on 2005-10-28, modified 2005-10-29.
Object id is 7451, canonical name is NormalOrdinalFunction.
Accessed 3325 times total.
Classification:
| AMS MSC: | 03E10 (Mathematical logic and foundations :: Set theory :: Ordinal and cardinal numbers) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
