Category:Successor Set of Ordinal is Ordinal