Definiție. Având în vedere un set X, un ultrafiltru pe X este un set U format din subseturi de X astfel încât: . vidă nu este un element de al U ;; orice parte a lui X care include un element al lui U este, de asemenea, un element al lui U ;; Intersecția a două elemente ale lui U este, de asemenea, în U ;; în cazul în care A este un subset al X, atunci A sau sa …