Category:Element of Ordinal is Ordinal