Vytvořte složitější verzi této věty Obvyklá volba je, aby 'I' bylo nekonečné a 'U' obsahovalo všechny kofinitní podmnožiny 'I'.
Samozřejmě, složitější verze věty je "Obvyklá volba je pro '' I 'být nekonečný a' U 'obsahují všechny cofinitní podmnožiny' I ', jinak ultrafiltr je hlavní a ultraprodukt je isomorfní k jednomu z faktorů. "