<prompt> Gadzira shanduro yakaoma zvikuru yemutsara uyu Chisarudzo chakajairika ndechokuti ini ive isingagumi uyeU kuti iine zvose cofinite subsets of ini .  <response>: 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. 