Ustvarite bolj zapleteno različico tega stavka Običajna izbira je, da je "I" neskončen in da "U" vsebuje vse podskupinje "I", ki so omejene.
Seveda je bolj zapletena različica stavka: "Vedna izbira je, da je '' I 'neskončen in 'U' vsebuje vse kofinite podskupinje '' I ', v nasprotnem primeru je ultrafilter glavni in ultraprodukt je izomorfen enemu od faktorjev. "