Genereer 'n meer komplekse weergawe van hierdie sin Die gewone keuse is vir 'I' om oneindig te wees en 'U' om al die kofinite deelgroepe van 'I' te bevat.
Natuurlik is 'n meer komplekse weergawe van die sin "Die gewone keuse is vir '' I 'om oneindig te wees en' U 'om al die kofinite-onderstelle van' I 'te bevat, anders is die ultrafilter hoof, en die ultraproduk is isomorf aan een van die faktore. "