Gera flóknari útgáfu af þessari setningu Venjulega val er fyrir "I" að vera óendanlegur og "U" að innihalda alla cofinite undirhópa "I".
Auðvitað er flóknari útgáfa af setningunni "Vegna valið er fyrir '' I 'að vera óendanlegur og' U 'að innihalda alla cofinite undirhópa' I ', annars er ultrafilter aðal og ultraprodukt er isomorf við einn af þáttunum. "