Definition:Set of Countable Ordinals