Category:Union of Set of Ordinals is Ordinal