Si "a" y "b" son ordinales, entonces "a"U"b", la unión de los conjuntos, también es un ordinal.