Generar una versión más compleja de esta oración La opción habitual es que 'I' sea infinito y 'U' contenga todos los subconjuntos cofinitos de 'I'.
Por supuesto, una versión más compleja de la oración es "La elección habitual es que '' I '' sea infinito y 'U' contenga todos los subconjuntos cofinitos de 'I', de lo contrario, el ultrafiltro es principal y el ultraproducto es isomorfo a uno de los factores".