Yleinen valinta on, että 'I' on ääretön ja 'U' sisältää kaikki 'I'n cofinite-osajoukot.
Tietenkin monimutkaisempi versio lauseesta on: "Tavanomainen valinta on, että 'I' on ääretön ja 'U' sisältää kaikki 'I'n' cofinite-alajoukot, muuten ultrafilteri on pääasiallinen ja ultratuote on isomorfinen yhdelle tekijöistä".