Kuzalisha toleo ngumu zaidi ya sentensi hii Chaguo la kawaida ni kwa'' I'' kuwa infinite na'' U'' kuwa na wote cofinite subsets ya'' I '.
Bila shaka, toleo la ngumu zaidi ya hukumu ni "Chaguo la kawaida ni kwa'' I'kuwa usio na mwisho na'U'kuwa na wote cofinite subsets ya'' I ', vinginevyo ultrafilter ni mkuu, na ultraproduct ni isomorphic kwa moja ya sababu. "