Ya hemos visto que una unión cualquiera de ordinales es un ordinal.