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!