Normal function on an ordinal
ID: normal-function-on-an-ordinal
A function on an ordinal is normal when it is strictly increasing and continuous at limit ordinals: for every limit .
New to topics? Read the docs here!
New to topics? Read the docs here!