出典:Wikipedia
出典:『Wikipedia』 (2009/11/03 01:02 UTC 版)
In axiomatic set theory, a function f : Ord → Ord is called normal (or a normal function) iff it is continuous (with respect to the order topology) and strictly monotonically increasing. This is equivalent to the following two conditions: