Category:Ordinal equals its Initial Segment