Generu pli kompleksan version de ĉi tiu frazo La kutima elekto estas, ke 'I' estu senfina kaj 'U' enhavu ĉiujn kofinitajn subarojn de 'I'.
Kompreneble, pli kompleksa versio de la frazo estas "La kutima elekto estas ke '' I '' estu senfina kaj 'U' enhavu ĉiujn kofinitajn subarojn de '' I ', alie la ultrafiltrilo estas ĉefa, kaj la ultraprodukto estas izomorfa al unu el la faktoroj. "