Si tomamos una unión finita de ordinales finitos, fabricamos un ordinal finito.