Generar una versió més complexa d'aquesta frase L'opció habitual és que 'I' sigui infinit i 'U' contenga tots els subconjunts cofinits de 'I'.
Per descomptat, una versió més complexa de la frase és "L'elecció habitual és que '' I 'és infinit i 'U' contenga tots els subconjunts cofinits de 'I', en cas contrari, l'ultrafiltre és principal i l'ultraproducte és isomorf a un dels factors".