Genereren van een meer complexe versie van deze zin De gebruikelijke keuze is dat 'I' oneindig is en 'U' alle cofinite deelverzamelingen van 'I' bevat.
Natuurlijk is een meer complexe versie van de zin: "De gebruikelijke keuze is dat 'I' oneindig is en 'U' alle cofinite deelverzamelingen van 'I' bevat, anders is het ultrafilter primair en is het ultraproduct isomorf aan een van de factoren".