En general, si los conjuntos "a" son ordinales, donde "i" toma todos los valores de un conjunto "I", entonces "a" = U"a" también lo será.