Ngasilake versi sing luwih rumit saka ukara iki Pilihan sing biasane yaiku''I' 'ora ana enteke lan' 'U' 'kanggo ngemot kabeh subset cofinite saka' 'I'.
Mesthi, versi sing luwih rumit saka ukara kasebut yaiku "Pilihan sing biasane yaiku '' I 'dadi tanpa wates lan' U 'kanggo ngemot kabeh subset cofinite saka' I ', yen ora, ultrafilter iku utama, lan ultraproduk isomorf karo salah sawijining faktor. "