Gadzira shanduro yakaoma zvikuru yemutsara uyu Chisarudzo chakajairika ndechokuti'' ini'' ive isingagumi uye'U'' kuti iine zvose cofinite subsets of'' ini '.
Zvechokwadi, shanduro yakaoma zvikuru yemutsara ndeyekuti "Kusarudzwa kunowanzoitika ndeyekuti '' ini 'kuti ive isingagumi uye' U 'kuti iine zvose cofinite subsets ye' ini ', zvisinei kuti ultrafilter inokosha, uye ultraproduct isomorphic kune imwe yezvikamu. "