 Gadzira shanduro yakaoma zvikuru yemutsara uyu Chisarudzo chakajairika ndechokuti ini ive isingagumi uyeU 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. 