Category:Ordinal collapsing functions

This category contains functions that are used to define ordinals.