Generéiert eng méi komplex Versioun vun dësem Saz Déi üblech Wiel ass fir'' I'' onendlech ze sinn an'' U'' fir all cofinite Ënnergruppen vun'' I'ze enthalen.
Natierlech ass eng méi komplex Versioun vum Saz: "Déi üblech Wiel ass fir '' I 'onendlech ze sinn an 'U' fir all kofinit Ënnergruppen vun 'I' ze enthalen, soss ass den Ultrafilter primär, an den Ultraprodukt ass isomorph zu engem vun de Faktoren. "