Wygenerować bardziej złożoną wersję tego zdania Zwykły wybór jest taki, że "I" jest nieskończony, a "U" zawiera wszystkie skończone podzbiory "I".
Oczywiście bardziej skomplikowana wersja zdania brzmi: "Zwykłym wyborem jest, aby 'I' było nieskończone, a 'U' zawierało wszystkie skończone podzbiory 'I', w przeciwnym razie ultrafiltr jest główny, a ultraprodukt jest izomorficzny do jednego z czynników".