Generere en mere kompleks version af denne sætning Det sædvanlige valg er, at 'I' er uendeligt, og 'U' indeholder alle cofinite undermængder af 'I'.
Selvfølgelig er en mere kompleks version af sætningen "Det sædvanlige valg er for '' I 'at være uendelig og' U 'at indeholde alle cofinite undermængder af' 'I', ellers ultrafilter er hoved, og ultraprodukt er isomorf til en af faktorerne. "