Ngahasilkeun versi nu leuwih kompleks tina kalimah ieu Pilihan nu ilahar nyaéta pikeun''I''pikeun jadi taya watesna jeung''U' pikeun ngandung sakabéh subset cofinite tina''I'.
Tangtu, versi nu leuwih kompleks tina kalimah nyaéta "Pilihan nu biasa nyaéta pikeun '' I 'jadi taya watesna jeung' U' pikeun ngandung sakabéh subset cofinite tina 'I', lamun henteu ultrafilter nyaéta prinsipal, jeung ultraproduk nyaéta isomorphic ka salah sahiji faktor. "