<prompt> 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.  <response>: 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. 