Vytvorte komplexnejšiu verziu tejto vety Zvyčajná voľba je, aby 'I' bolo nekonečné a 'U' obsahovalo všetky kofinitné podmnožiny 'I'.
Samozrejme, zložitejšia verzia vety je: "Zvyčajná voľba je, aby '' I 'bol nekonečný a' U 'obsahoval všetky kofinitné podmnožiny' I ', inak je ultrafilter hlavný a ultraprodukt je izomorfný k jednému z faktorov. "