En particular, si son ordinales finitos (conjuntos finitos) correspondientes a los naturales "a" y "b", entonces "a"U"b" corresponde al mayor de los dos, "a" o "b".